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 Sebastian Krings
For
Sebastian Krings
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
)
11 September 2015
09:14
09:14, 11 September 2015
diff
hist
+4
Tutorial Unit Plugin
→Converting between units
09:13
09:13, 11 September 2015
diff
hist
+8
Tutorial Unit Plugin
→Annotating variables and animating a machine
27 March 2015
10:47
10:47, 27 March 2015
diff
hist
+265
Sefm2015
→Summaries
09:57
09:57, 27 March 2015
diff
hist
−1
Sefm2015
No edit summary
09:56
09:56, 27 March 2015
diff
hist
+1
Sefm2015
→= Surplus of ProB
09:56
09:56, 27 March 2015
diff
hist
+510
Sefm2015
No edit summary
09:54
09:54, 27 March 2015
diff
hist
+1,749
Sefm2015
No edit summary
09:41
09:41, 27 March 2015
diff
hist
+1,328
Sefm2015
No edit summary
19 February 2015
14:26
14:26, 19 February 2015
diff
hist
−1
Download
→Prior Versions
12:37
12:37, 19 February 2015
diff
hist
−216
The ProB Animator and Model Checker
No edit summary
12:36
12:36, 19 February 2015
diff
hist
+251
Download
→Short Release History
12:32
12:32, 19 February 2015
diff
hist
+5
Download
→Latest Release
12:31
12:31, 19 February 2015
diff
hist
0
Team
No edit summary
10:45
10:45, 19 February 2015
diff
hist
+67
Download
→Short Release History
10:40
10:40, 19 February 2015
diff
hist
+136
Download
No edit summary
29 August 2014
08:54
08:54, 29 August 2014
diff
hist
+139
Download
No edit summary
18 August 2014
13:35
13:35, 18 August 2014
diff
hist
−289
The ProB Animator and Model Checker
release prob 1.4.0
13:33
13:33, 18 August 2014
diff
hist
−208
Download
release prob 1.4.0
21 March 2014
13:00
13:00, 21 March 2014
diff
hist
+223
Download
→Nightly Build
9 December 2013
08:23
08:23, 9 December 2013
diff
hist
+6
Tutorial Disprover
→How to use it, how it works
(
newest
|
oldest
) View (
newer 20
|
older 20
) (
20
|
50
|
100
|
250
|
500
)