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 Lukas Ladenberger
For
Lukas Ladenberger
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 50
|
older 50
) (
20
|
50
|
100
|
250
|
500
)
10 October 2017
09:13
09:13, 10 October 2017
diff
hist
0
BMotion Studio
No edit summary
current
5 February 2017
21:59
21:59, 5 February 2017
diff
hist
+88
BMotion Studio Download
No edit summary
7 November 2016
00:19
00:19, 7 November 2016
diff
hist
+88
BMotion Studio Download
No edit summary
7 July 2016
14:16
14:16, 7 July 2016
diff
hist
+88
BMotion Studio Download
No edit summary
16 March 2016
14:44
14:44, 16 March 2016
diff
hist
+93
FormalPrototyping
→Live Online Formal Prototypes
10 March 2016
18:31
18:31, 10 March 2016
diff
hist
0
File:CCS.Formal.Prototype.zip
Lukas Ladenberger uploaded a new version of
File:CCS.Formal.Prototype.zip
current
18:30
18:30, 10 March 2016
diff
hist
0
File:Phonebook.Formal.Prototype.zip
Lukas Ladenberger uploaded a new version of
File:Phonebook.Formal.Prototype.zip
current
18:29
18:29, 10 March 2016
diff
hist
+178
FormalPrototyping
No edit summary
18:19
18:19, 10 March 2016
diff
hist
−5
BMotion Studio
No edit summary
15:09
15:09, 10 March 2016
diff
hist
−1
BMotion Studio
No edit summary
15:09
15:09, 10 March 2016
diff
hist
−12
BMotion Studio
No edit summary
15:09
15:09, 10 March 2016
diff
hist
0
BMotion Studio
No edit summary
15:06
15:06, 10 March 2016
diff
hist
+5
BMotion Studio
No edit summary
10:35
10:35, 10 March 2016
diff
hist
0
BMotion Studio Download
No edit summary
10:29
10:29, 10 March 2016
diff
hist
+181
BMotion Studio Download
No edit summary
9 March 2016
15:07
15:07, 9 March 2016
diff
hist
+973
FormalPrototyping
No edit summary
15:03
15:03, 9 March 2016
diff
hist
0
N
File:CCS.Formal.Prototype.zip
No edit summary
15:02
15:02, 9 March 2016
diff
hist
0
N
File:Phonebook.Formal.Prototype.zip
No edit summary
15:02
15:02, 9 March 2016
diff
hist
+128
FormalPrototyping
→Resources
13:34
13:34, 9 March 2016
diff
hist
+86
FormalPrototyping
No edit summary
13:34
13:34, 9 March 2016
diff
hist
+37
N
BMotionWeb Download
Redirected page to
BMotion Studio Download
current
13:33
13:33, 9 March 2016
diff
hist
+37
BMotion Studio Download
No edit summary
13:31
13:31, 9 March 2016
diff
hist
−2
BMotionWeb
Redirected page to
BMotion Studio
current
13:30
13:30, 9 March 2016
diff
hist
+30
N
BMotionWeb
Redirected page to
"BMotion Studio"
13:29
13:29, 9 March 2016
diff
hist
−4
BMotion Studio
No edit summary
13:29
13:29, 9 March 2016
diff
hist
−15
BMotion Studio
No edit summary
13:27
13:27, 9 March 2016
diff
hist
+525
FormalPrototyping
No edit summary
13:24
13:24, 9 March 2016
diff
hist
+85
N
FormalPrototyping
Created page with "{{DISPLAYTITLE:BMotionWeb: A Tool for Rapid Creation of Formal Prototypes}} __NOTOC__"
27 January 2016
15:46
15:46, 27 January 2016
diff
hist
+48
ABZ16
→Links
15:45
15:45, 27 January 2016
diff
hist
+55
ABZ16
→Resources
15:44
15:44, 27 January 2016
diff
hist
+3
ABZ16
→Resources
15:42
15:42, 27 January 2016
diff
hist
+135
ABZ16
→Resources
15:39
15:39, 27 January 2016
diff
hist
+215
ABZ16
No edit summary
15:37
15:37, 27 January 2016
diff
hist
+176
ABZ16
→Resources
15:34
15:34, 27 January 2016
diff
hist
+72
ABZ16
→Resources
15:30
15:30, 27 January 2016
diff
hist
0
N
File:Cosim-160122.zip
No edit summary
current
15:30
15:30, 27 January 2016
diff
hist
+75
ABZ16
→Resources
12:02
12:02, 27 January 2016
diff
hist
+1
ABZ16
→Resources
12:01
12:01, 27 January 2016
diff
hist
0
N
File:HDMachine-160122.zip
No edit summary
current
12:00
12:00, 27 January 2016
diff
hist
+31
ABZ16
→Resources
09:47
09:47, 27 January 2016
diff
hist
0
N
File:HDMachine-BMS-160122.zip
No edit summary
current
09:47
09:47, 27 January 2016
diff
hist
−2
ABZ16
→Resources
26 January 2016
18:50
18:50, 26 January 2016
diff
hist
0
N
File:HDMachineVisualisation.zip
No edit summary
current
18:45
18:45, 26 January 2016
diff
hist
−2
ABZ16
→Resources
18:45
18:45, 26 January 2016
diff
hist
+39
ABZ16
→Resources
18:43
18:43, 26 January 2016
diff
hist
+223
ABZ16
No edit summary
25 January 2016
15:29
15:29, 25 January 2016
diff
hist
−11
BMotion Studio Download
No edit summary
15:27
15:27, 25 January 2016
diff
hist
+215
BMotion Studio Download
No edit summary
22 January 2016
18:47
18:47, 22 January 2016
diff
hist
+33
ABZ16
→The Hemodialysis Machine Case Study
17:33
17:33, 22 January 2016
diff
hist
+27
ABZ16
No edit summary
(
newest
|
oldest
) View (
newer 50
|
older 50
) (
20
|
50
|
100
|
250
|
500
)