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
)
31 January 2013
09:48
09:48, 31 January 2013
diff
hist
0
N
File:ProBRodinStartUnitAnalysis.png
No edit summary
current
09:45
09:45, 31 January 2013
diff
hist
0
N
File:ProBRodinUnitPragmas.png
No edit summary
current
7 January 2013
13:37
13:37, 7 January 2013
diff
hist
+982
N
Tutorial Unit Plugin With Rodin
Created page with '
Category:Tutorial
Category:User Manual
This tutorial describes, how ProB's integrated plugin for unit analysis can be used with Event-B machines from inside the Rodin p…'
13:30
13:30, 7 January 2013
diff
hist
0
Tutorial
No edit summary
13:30
13:30, 7 January 2013
diff
hist
+150
Tutorial
add link to second physical units plugin tutorial
4 January 2013
10:38
10:38, 4 January 2013
diff
hist
+12
Tutorial
fix link to bms tutorial
11 December 2012
15:20
15:20, 11 December 2012
diff
hist
+57
m
Team
add link
6 December 2012
12:22
12:22, 6 December 2012
diff
hist
−30
Tutorial Unit Plugin
update to new unit format
12:21
12:21, 6 December 2012
diff
hist
−424
Tutorial Unit Plugin
update to new unit format
11 October 2012
13:10
13:10, 11 October 2012
diff
hist
+15
m
Tutorial Unit Plugin
style
12:49
12:49, 11 October 2012
diff
hist
−1
m
Tutorial Unit Plugin
newlines
12:45
12:45, 11 October 2012
diff
hist
0
m
Tutorial Unit Plugin
typo
12:44
12:44, 11 October 2012
diff
hist
+189
Tutorial Unit Plugin
add remark about setting the animator to a fixpoint state
29 July 2012
15:02
15:02, 29 July 2012
diff
hist
+46
Tutorial Unit Plugin
changed to new unit format
16 July 2012
13:04
13:04, 16 July 2012
diff
hist
+722
Tutorial Unit Plugin
added section on unit conversion
13:00
13:00, 16 July 2012
diff
hist
+34
m
Tutorial Unit Plugin
Fix Prolog lists of lists beeing expanded as wiki syntax
29 June 2012
10:51
10:51, 29 June 2012
diff
hist
+117
Tutorial Unit Plugin
Fixed syntax for multiple units.
21 June 2012
19:36
19:36, 21 June 2012
diff
hist
+2,840
N
Tutorial Unit Plugin
added new page explaining the unit plugin
12:54
12:54, 21 June 2012
diff
hist
0
m
Tutorial
typo
12:54
12:54, 21 June 2012
diff
hist
+75
m
Tutorial
add link to plugin tutorial
(
newest
|
oldest
) View (
newer 20
|
older 20
) (
20
|
50
|
100
|
250
|
500
)