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
)
4 February 2021
16:04
16:04, 4 February 2021
diff
hist
+63
N
File:MBT-CBC-Tree-Acc.png
Originally added by Jessica Petrasch in prob2-doc
current
16:04
16:04, 4 February 2021
diff
hist
+63
N
File:MBT-CBC-Result-SC.png
Originally added by Jessica Petrasch in prob2-doc
current
16:04
16:04, 4 February 2021
diff
hist
+63
N
File:MBT-CBC-Menu-SC.png
Originally added by Jessica Petrasch in prob2-doc
current
16:04
16:04, 4 February 2021
diff
hist
+63
N
File:MBT-CBC-Dialog-SC.png
Originally added by Jessica Petrasch in prob2-doc
current
15:52
15:52, 4 February 2021
diff
hist
−54
State Space Visualization
Update paper link
15:50
15:50, 4 February 2021
diff
hist
−50
Eval Console
Update download page link
current
15:45
15:45, 4 February 2021
diff
hist
+698
Using the Command-Line Version of ProB
Document -pref_group (from prob2-doc, originally added by Michael Leuschel)
15:33
15:33, 4 February 2021
diff
hist
−21
CSP-M
Update paper link
current
14:51
14:51, 4 February 2021
diff
hist
+28
ProB for Event-B
Update Rodin handbook links
current
14:48
14:48, 4 February 2021
diff
hist
−260
ProB for Rodin
Update Camille update sites (there seems to be just the nightly update site now)
current
14:39
14:39, 4 February 2021
diff
hist
−8
Tutorial Disprover
Update paper links
14:36
14:36, 4 February 2021
diff
hist
−50
Tutorial Rodin Exporting
Update download page link
current
14:34
14:34, 4 February 2021
diff
hist
−43
Tutorial Rodin First Step
Update release update site link
3 February 2021
17:12
17:12, 3 February 2021
diff
hist
+502
Other languages
Add new section from prob2-doc (originally added by Michael Leuschel)
current
17:10
17:10, 3 February 2021
diff
hist
+1,892
Alloy
Add updated syntax overview (from prob2-doc, originally added by Joshua Schmidt)
current
17:06
17:06, 3 February 2021
diff
hist
−14
ProZ
Fix article PDF link
current
17:06
17:06, 3 February 2021
diff
hist
−14
TLA
Fix paper PDF link
17:02
17:02, 3 February 2021
diff
hist
−14
TLC
Update article PDF link
16:47
16:47, 3 February 2021
diff
hist
+12
Prolog Coding Guidelines
Fix plcoding.pdf link
16:45
16:45, 3 February 2021
diff
hist
−25
Why Prolog?
Update SICStus link
(
newest
|
oldest
) View (
newer 20
|
older 20
) (
20
|
50
|
100
|
250
|
500
)