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:
Manual revert
New redirect
Replaced
Reverted
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
)
26 February 2015
10:52
10:52, 26 February 2015
diff
hist
−1
ABZ14
→ProB Live Visualisations
14 February 2015
22:12
22:12, 14 February 2015
diff
hist
+9
ABZ14
→Resources
22:12
22:12, 14 February 2015
diff
hist
0
File:LandingGear.zip
uploaded a new version of "
File:LandingGear.zip
"
current
13 February 2015
12:29
12:29, 13 February 2015
diff
hist
−143
ABZ14
→ProB Live Visualisations of other Event-B models (click to join)
08:32
08:32, 13 February 2015
diff
hist
+17
ABZ14
→ProB Live Visualisations of other Event-B models
08:30
08:30, 13 February 2015
diff
hist
+193
ABZ14
No edit summary
08:27
08:27, 13 February 2015
diff
hist
+6
ABZ14
No edit summary
08:26
08:26, 13 February 2015
diff
hist
+385
ABZ14
No edit summary
08:19
08:19, 13 February 2015
diff
hist
+1
ABZ14
→ProB Live Visualisations of Event-B models
08:05
08:05, 13 February 2015
diff
hist
+109
ABZ14
→ProB Live Visualisations of Event-B models
12 February 2015
21:51
21:51, 12 February 2015
diff
hist
+19
ABZ14
No edit summary
21:51
21:51, 12 February 2015
diff
hist
+15
ABZ14
No edit summary
21:50
21:50, 12 February 2015
diff
hist
+332
ABZ14
No edit summary
21:44
21:44, 12 February 2015
diff
hist
+181
ABZ14
No edit summary
21:41
21:41, 12 February 2015
diff
hist
0
ABZ14
→ProB Live Visualization (click to join)
30 January 2015
12:16
12:16, 30 January 2015
diff
hist
−27
ABZ14
→ProB Live Visualization (click to join)
12:15
12:15, 30 January 2015
diff
hist
0
File:Landing gear.png
uploaded a new version of "
File:Landing gear.png
"
current
12:14
12:14, 30 January 2015
diff
hist
+27
ABZ14
→ProB Live Visualization (click to join)
12:07
12:07, 30 January 2015
diff
hist
−29
ABZ14
→ProB Live Visualization (click to join)
20 January 2015
14:14
14:14, 20 January 2015
diff
hist
+338
BMotion Studio
No edit summary
19 January 2015
16:24
16:24, 19 January 2015
diff
hist
+2
BMotion Studio
No edit summary
5 January 2015
12:29
12:29, 5 January 2015
diff
hist
+48
ProB Java API
→Documentation
21 November 2014
11:03
11:03, 21 November 2014
diff
hist
+76
BMotion Studio
No edit summary
19 November 2014
16:56
16:56, 19 November 2014
diff
hist
+51
BMotion Studio
No edit summary
14:48
14:48, 19 November 2014
diff
hist
+8
BMotion Studio
No edit summary
12:23
12:23, 19 November 2014
diff
hist
+80
BMotion Studio
No edit summary
12:18
12:18, 19 November 2014
diff
hist
+45
BMotion Studio
No edit summary
11:38
11:38, 19 November 2014
diff
hist
+334
BMotion Studio
No edit summary
11:34
11:34, 19 November 2014
diff
hist
+40
BMotion Studio
No edit summary
11:34
11:34, 19 November 2014
diff
hist
+6
BMotion Studio
No edit summary
11:33
11:33, 19 November 2014
diff
hist
0
N
File:Bmotion logo.png
No edit summary
current
11:32
11:32, 19 November 2014
diff
hist
+28
BMotion Studio
No edit summary
11:31
11:31, 19 November 2014
diff
hist
+46
BMotion Studio
No edit summary
11:24
11:24, 19 November 2014
diff
hist
+241
BMotion Studio
No edit summary
6 November 2014
13:39
13:39, 6 November 2014
diff
hist
−18
LTL Model Checking
No edit summary
13:26
13:26, 6 November 2014
diff
hist
+18
LTL Model Checking
No edit summary
3 November 2014
13:26
13:26, 3 November 2014
diff
hist
+21
N
BMotion Studio Tutorial
Created page with '== Getting Started =='
current
13:22
13:22, 3 November 2014
diff
hist
+335
BMotion Studio
No edit summary
31 October 2014
13:47
13:47, 31 October 2014
diff
hist
−16
MediaWiki:Sidebar
No edit summary
13:47
13:47, 31 October 2014
diff
hist
+10
MediaWiki:Sidebar
No edit summary
13:46
13:46, 31 October 2014
diff
hist
+14
MediaWiki:Sidebar
No edit summary
13:46
13:46, 31 October 2014
diff
hist
+11
MediaWiki:Sidebar
No edit summary
13:13
13:13, 31 October 2014
diff
hist
+25
N
ProB for TLA
Created page with 'ProB for TLA Landing Page'
30 October 2014
15:30
15:30, 30 October 2014
diff
hist
+27
ProB 2.0 within Rodin and a HTML Visualization Example
No edit summary
current
15:30
15:30, 30 October 2014
diff
hist
+28
Rodin User and Developer Workshop 2013 - Tutorial
No edit summary
15:29
15:29, 30 October 2014
diff
hist
+28
Programmatic Abstractions in the ProB 2.0 API
No edit summary
15:29
15:29, 30 October 2014
diff
hist
+27
ProB 2.0 Development
No edit summary
14:52
14:52, 30 October 2014
diff
hist
+358
ProB for Rodin
No edit summary
14:51
14:51, 30 October 2014
diff
hist
+19
ProB Tcl Tk
No edit summary
current
14:51
14:51, 30 October 2014
diff
hist
+20
ProB Cli
No edit summary
(
newest
|
oldest
) View (
newer 50
|
older 50
) (
20
|
50
|
100
|
250
|
500
)