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 October 2014
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
)