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 500
|
older 500
) (
20
|
50
|
100
|
250
|
500
)
30 January 2015
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
14:51
14:51, 30 October 2014
diff
hist
−1
ProB Java API
No edit summary
14:49
14:49, 30 October 2014
diff
hist
−23
ProB Java API
No edit summary
14:49
14:49, 30 October 2014
diff
hist
+643
ProB Java API
No edit summary
14:48
14:48, 30 October 2014
diff
hist
−202
ProB Java API Developer Manual
No edit summary
14:42
14:42, 30 October 2014
diff
hist
+22
ProB Cli
No edit summary
14:42
14:42, 30 October 2014
diff
hist
+22
Using the Command-Line Version of ProB
No edit summary
14:41
14:41, 30 October 2014
diff
hist
+25
Tutorial
No edit summary
14:40
14:40, 30 October 2014
diff
hist
+128
ProB Tcl Tk
No edit summary
14:39
14:39, 30 October 2014
diff
hist
+27
ProB Java API Tutorial
No edit summary
14:37
14:37, 30 October 2014
diff
hist
+36
N
ProB 2.0 Tutorial
moved
ProB 2.0 Tutorial
to
ProB Java API Tutorial
current
14:37
14:37, 30 October 2014
diff
hist
0
m
ProB Java API Tutorial
moved
ProB 2.0 Tutorial
to
ProB Java API Tutorial
14:36
14:36, 30 October 2014
diff
hist
−169
ProB Java API
No edit summary
14:36
14:36, 30 October 2014
diff
hist
+150
ProB Java API
No edit summary
14:34
14:34, 30 October 2014
diff
hist
+27
ProB Java API
No edit summary
14:34
14:34, 30 October 2014
diff
hist
+28
ProB Java API Developer Manual
No edit summary
14:33
14:33, 30 October 2014
diff
hist
+328
ProB Java API
No edit summary
14:31
14:31, 30 October 2014
diff
hist
+594
N
ProB Java API Developer Manual
Created page with '*
ProB 2.0 Development
*
Programmatic_Abstractions_in_the_ProB_2.0_API
*[http://nightly.cobra.cs.uni-duesseldorf.de/prob2/javadoc/ ProB 2.0 Core Javadoc] *[https://docs.goo…'
14:31
14:31, 30 October 2014
diff
hist
−612
Developer Manual
No edit summary
14:30
14:30, 30 October 2014
diff
hist
+135
ProB Cli
No edit summary
14:28
14:28, 30 October 2014
diff
hist
+155
N
ProB Tcl Tk
Created page with '
Category:Components
<p class="btn btn-lg btn-outline"> <i class="fa fa-user"></i>
User Manual
</p>'
14:20
14:20, 30 October 2014
diff
hist
−124
ProB Cli
No edit summary
14:16
14:16, 30 October 2014
diff
hist
−36
ProB Cli
No edit summary
14:09
14:09, 30 October 2014
diff
hist
+333
ProB Cli
No edit summary
13:51
13:51, 30 October 2014
diff
hist
−42
MediaWiki:Sidebar
No edit summary
13:49
13:49, 30 October 2014
diff
hist
−68
MediaWiki:Sidebar
No edit summary
13:09
13:09, 30 October 2014
diff
hist
+2
ITool
No edit summary
current
13:08
13:08, 30 October 2014
diff
hist
+10
ITool
No edit summary
13:05
13:05, 30 October 2014
diff
hist
−39
ITool
No edit summary
12:48
12:48, 30 October 2014
diff
hist
+43
ITool
No edit summary
12:47
12:47, 30 October 2014
diff
hist
+2,754
ITool
No edit summary
12:28
12:28, 30 October 2014
diff
hist
+139
ITool
No edit summary
12:25
12:25, 30 October 2014
diff
hist
−15
ProB Java API
No edit summary
12:25
12:25, 30 October 2014
diff
hist
−16
ProB for Rodin
No edit summary
12:25
12:25, 30 October 2014
diff
hist
−183
BMotion Studio
No edit summary
12:24
12:24, 30 October 2014
diff
hist
+114
ProB Cli
No edit summary
12:12
12:12, 30 October 2014
diff
hist
+42
The ProB Animator and Model Checker
No edit summary
11:23
11:23, 30 October 2014
diff
hist
+42
N
ITool
Created page with '
Category:Components
ITool Landing Page'
11:22
11:22, 30 October 2014
diff
hist
+25
ProB Java API
No edit summary
11:22
11:22, 30 October 2014
diff
hist
+25
ProB Cli
No edit summary
11:22
11:22, 30 October 2014
diff
hist
+26
N
ProB Java API
Created page with 'ProB Java API Landing Page'
11:22
11:22, 30 October 2014
diff
hist
+21
N
ProB Cli
Created page with 'ProB Cli Landing Page'
11:21
11:21, 30 October 2014
diff
hist
−135
ProB for Rodin
No edit summary
11:10
11:10, 30 October 2014
diff
hist
+135
ProB for Rodin
No edit summary
11:07
11:07, 30 October 2014
diff
hist
+25
ProB for Rodin
No edit summary
11:07
11:07, 30 October 2014
diff
hist
+25
BMotion Studio
No edit summary
11:06
11:06, 30 October 2014
diff
hist
+27
N
ProB for Rodin
Created page with 'ProB for Rodin Landing Page'
11:06
11:06, 30 October 2014
diff
hist
+338
BMotion Studio
No edit summary
11:03
11:03, 30 October 2014
diff
hist
+23
BMotion Studio
No edit summary
11:02
11:02, 30 October 2014
diff
hist
+4
N
BMotion Studio
Created page with 'Test'
23 May 2014
13:43
13:43, 23 May 2014
diff
hist
0
File:Lift.zip
uploaded a new version of "
File:Lift.zip
"
current
07:12
07:12, 23 May 2014
diff
hist
0
File:Lift.zip
uploaded a new version of "
File:Lift.zip
"
07:07
07:07, 23 May 2014
diff
hist
−173
ProB 2.0 within Rodin and a HTML Visualization Example
No edit summary
07:04
07:04, 23 May 2014
diff
hist
0
File:MLiftOpenHTMLVisualization.png
uploaded a new version of "
File:MLiftOpenHTMLVisualization.png
"
current
12 March 2014
10:34
10:34, 12 March 2014
diff
hist
+37
ABZ14
→Ressources
3 February 2014
12:41
12:41, 3 February 2014
diff
hist
+180
ABZ14
No edit summary
4 July 2012
09:37
09:37, 4 July 2012
diff
hist
+79
Team
No edit summary
09:36
09:36, 4 July 2012
diff
hist
+97
Download
→Tcl/Tk
17 October 2011
08:13
08:13, 17 October 2011
diff
hist
0
File:SetupTaskRepository.png
uploaded a new version of "
File:SetupTaskRepository.png
"
current
20 September 2011
09:01
09:01, 20 September 2011
diff
hist
+641
Download
→Nightly Build
6 May 2011
09:32
09:32, 6 May 2011
diff
hist
+793
Using the Command-Line Version of ProB
→-init
09:27
09:27, 6 May 2011
diff
hist
+81
Using the Command-Line Version of ProB
→Preferences
09:26
09:26, 6 May 2011
diff
hist
+6
Using the Command-Line Version of ProB
→Preferences
09:25
09:25, 6 May 2011
diff
hist
+143
Using the Command-Line Version of ProB
→-p
09:23
09:23, 6 May 2011
diff
hist
+3,204
Using the Command-Line Version of ProB
→Preferences
09:11
09:11, 6 May 2011
diff
hist
+276
Using the Command-Line Version of ProB
No edit summary
09:04
09:04, 6 May 2011
diff
hist
+1,880
Using the Command-Line Version of ProB
No edit summary
09:00
09:00, 6 May 2011
diff
hist
−4
Using the Command-Line Version of ProB
→-version
08:59
08:59, 6 May 2011
diff
hist
+7,249
Using the Command-Line Version of ProB
No edit summary
08:43
08:43, 6 May 2011
diff
hist
+14
Using the Command-Line Version of ProB
No edit summary
08:42
08:42, 6 May 2011
diff
hist
+2
Using the Command-Line Version of ProB
No edit summary
08:41
08:41, 6 May 2011
diff
hist
+28
Using the Command-Line Version of ProB
No edit summary
08:35
08:35, 6 May 2011
diff
hist
−16
Using the Command-Line Version of ProB
No edit summary
08:33
08:33, 6 May 2011
diff
hist
+246
Using the Command-Line Version of ProB
No edit summary
08:31
08:31, 6 May 2011
diff
hist
0
Using the Command-Line Version of ProB
→-mc >
08:30
08:30, 6 May 2011
diff
hist
−6,585
Using the Command-Line Version of ProB
No edit summary
08:29
08:29, 6 May 2011
diff
hist
+244
Using the Command-Line Version of ProB
→Options
08:17
08:17, 6 May 2011
diff
hist
+15
Using the Command-Line Version of ProB
No edit summary
08:15
08:15, 6 May 2011
diff
hist
+361
Using the Command-Line Version of ProB
No edit summary
07:52
07:52, 6 May 2011
diff
hist
+2,931
Using the Command-Line Version of ProB
→probcli Basics
07:46
07:46, 6 May 2011
diff
hist
+4
Tutorial
changed link to bmotion studio tutorial
(
newest
|
oldest
) View (
newer 500
|
older 500
) (
20
|
50
|
100
|
250
|
500
)