Toggle navigation
Components
ProB Cli
ProB Tcl/Tk
ProB Java API
BMotionWeb
ProB for Rodin
ProB for TLA
Documentation
ProB Tcl/Tk
BMotionWeb
ProB Java API
Download
Bugs
Links
Team
Navigation
Main Page
User Manual
Tutorials
Developer Manual
Benchmarks
Licence
Logic Calculator
Special Pages
Recent changes
User
Log in
Go
Search
Help
User contributions for David Geleßus
For
David Geleßus
talk
block log
uploads
logs
Search for contributions
Expand
Collapse
⧼contribs-top⧽
IP address or username:
Namespace:
all
(Main)
Talk
User
User talk
ProB Documentation
ProB Documentation talk
File
File talk
MediaWiki
MediaWiki talk
Template
Template talk
Help
Help talk
Category
Category talk
Invert selection
Associated namespace
Tag
filter:
New redirect
Replaced
Only show edits that are latest revisions
Only show edits that are page creations
Hide minor edits
⧼contribs-date⧽
From date:
To date:
Search
(
newest
|
oldest
) View (
newer 20
|
older 20
) (
20
|
50
|
100
|
250
|
500
)
21 March 2022
12:25
12:25, 21 March 2022
diff
hist
−1
m
DownloadPriorVersions
No edit summary
12:25
12:25, 21 March 2022
diff
hist
+10
DownloadPriorVersions
Set DISPLAYTITLE instead of a top-level heading
12:21
12:21, 21 March 2022
diff
hist
−56
Download
→ProB2-UI
:
Removed version numbers from link titles
12:18
12:18, 21 March 2022
diff
hist
−259
Download
→ProB2-UI
:
Removed Zulu link - most users should just use Java 11/17 instead
12:16
12:16, 21 March 2022
diff
hist
−14
m
ProB2-UI
→Download
12:16
12:16, 21 March 2022
diff
hist
−15
m
Download
→ProB2-UI using Java FX
11:49
11:49, 21 March 2022
diff
hist
+505
Download
→ProB2-UI using Java FX
:
Moved macOS-specific issues into their own section
11:29
11:29, 21 March 2022
diff
hist
+17
ProB2-UI
→Download
:
Linked to build instructions in repo instead of wiki
11:28
11:28, 21 March 2022
diff
hist
−418
Download
→ProB2-UI using Java FX
:
Linked to build instructions in repo instead of copy-pasting them
11:22
11:22, 21 March 2022
diff
hist
−869
Download
→ProB for Rodin
:
Removed less important info that can also be found on the longer tutorial page
11:21
11:21, 21 March 2022
diff
hist
+1
Tutorial Rodin First Step
→Installation
:
Updated Rodin install link
11:15
11:15, 21 March 2022
diff
hist
−132
Tutorial Rodin First Step
→Installation
:
Removed screencast link - the video is no longer on the linked page
11:11
11:11, 21 March 2022
diff
hist
+122
ProB2-UI
Move citation out of the way and add Springer Link link
10 March 2022
14:59
14:59, 10 March 2022
diff
hist
+118
Running ProB from source
→Running ProB with SWI-Prolog
7 December 2021
15:10
15:10, 7 December 2021
diff
hist
−3
m
Running ProB from source
→Running ProB Tests with SWI-Prolog
:
Remove old broken prompt from test REPL example
14:34
14:34, 7 December 2021
diff
hist
+196
Running ProB from source
→Running ProB Tests with SWI-Prolog
:
Update explanation of unavailable tests now that "available" command has been removed
14:28
14:28, 7 December 2021
diff
hist
−72
Running ProB from source
→Running ProB with SWI-Prolog
:
Simplify commands using new prolog.sh and probcli_src.sh wrapper scripts
11 August 2021
13:29
13:29, 11 August 2021
diff
hist
−302
Running ProB from source
→Running ProB with SWI-Prolog
:
Update instructions now that a compatible SWI version has been released
22 July 2021
11:46
11:46, 22 July 2021
diff
hist
+88
Running ProB from source
→Running ProB from Prolog
:
Document minimum SICStus version
11:43
11:43, 22 July 2021
diff
hist
−135
Running ProB from source
→Building ProB Extensions
:
Remove outdated instructions about fuzz on Mac - since 2014 we patch the fuzz Makefile to not assume gawk
(
newest
|
oldest
) View (
newer 20
|
older 20
) (
20
|
50
|
100
|
250
|
500
)