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 Dominik Hansen
For
Dominik Hansen
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
)
11 August 2016
14:05
14:05, 11 August 2016
diff
hist
−3
TLC
No edit summary
14:02
14:02, 11 August 2016
diff
hist
+132
TLC
No edit summary
7 July 2016
10:28
10:28, 7 July 2016
diff
hist
−128
Editors for ProB
→Atom
6 July 2016
12:14
12:14, 6 July 2016
diff
hist
0
File:ProB-Atom-Package.zip
Dominik Hansen uploaded a new version of
File:ProB-Atom-Package.zip
current
12:13
12:13, 6 July 2016
diff
hist
+16
Editors for ProB
→Atom
12:12
12:12, 6 July 2016
diff
hist
−2
Editors for ProB
→Atom
11:37
11:37, 6 July 2016
diff
hist
0
Editors for ProB
→Atom
11:36
11:36, 6 July 2016
diff
hist
+13
Editors for ProB
→Atom
11:35
11:35, 6 July 2016
diff
hist
0
File:ProB-Atom-Package.zip
Dominik Hansen uploaded a new version of
File:ProB-Atom-Package.zip
07:37
07:37, 6 July 2016
diff
hist
0
N
File:ProB-Atom-Package.zip
No edit summary
07:36
07:36, 6 July 2016
diff
hist
−15
Editors for ProB
→Atom
07:34
07:34, 6 July 2016
diff
hist
+47
Editors for ProB
→Atom
07:33
07:33, 6 July 2016
diff
hist
0
Editors for ProB
→Atom
07:33
07:33, 6 July 2016
diff
hist
0
Editors for ProB
→Atom
07:32
07:32, 6 July 2016
diff
hist
+1
Editors for ProB
→Atom
07:31
07:31, 6 July 2016
diff
hist
+68
Editors for ProB
→Atom
31 March 2016
11:15
11:15, 31 March 2016
diff
hist
−8
ProB for TLA
Redirected page to
TLA
current
30 March 2016
17:14
17:14, 30 March 2016
diff
hist
0
File:ProBWindowsDownload.png
Dominik Hansen uploaded a new version of
File:ProBWindowsDownload.png
current
17:13
17:13, 30 March 2016
diff
hist
0
File:ProBWindowsDownload.png
Dominik Hansen uploaded a new version of
File:ProBWindowsDownload.png
17:10
17:10, 30 March 2016
diff
hist
0
File:ProBWindowsDownload.png
Dominik Hansen uploaded a new version of
File:ProBWindowsDownload.png
17:06
17:06, 30 March 2016
diff
hist
−1
Windows Installation Instructions
→Install Java
26 February 2016
16:19
16:19, 26 February 2016
diff
hist
+8
Editors for ProB
No edit summary
3 February 2016
14:34
14:34, 3 February 2016
diff
hist
−59
Die Hard Jugs Puzzle
→TLA+ Version
current
13:11
13:11, 3 February 2016
diff
hist
0
Die Hard Jugs Puzzle
No edit summary
13:11
13:11, 3 February 2016
diff
hist
0
Die Hard Jugs Puzzle
No edit summary
13:03
13:03, 3 February 2016
diff
hist
+3
Die Hard Jugs Puzzle
→TLA+ Version
11:18
11:18, 3 February 2016
diff
hist
+7,973
Die Hard Jugs Puzzle
No edit summary
10:53
10:53, 3 February 2016
diff
hist
+2
Die Hard Jugs Puzzle
No edit summary
13 January 2016
16:09
16:09, 13 January 2016
diff
hist
−199
TLC
No edit summary
18 December 2015
20:07
20:07, 18 December 2015
diff
hist
−9
State space visualization examples
→Alternating Bit Protocol
20:03
20:03, 18 December 2015
diff
hist
+3
State space visualization examples
→Alternating Bit Protocol
21 November 2014
21:56
21:56, 21 November 2014
diff
hist
−10
TLA
→Using ProB for Animation and Model Checking of TLA+ specifications
21:53
21:53, 21 November 2014
diff
hist
−192
TLA
No edit summary
10 November 2014
12:11
12:11, 10 November 2014
diff
hist
+4
TLC
→Visited States
12:10
12:10, 10 November 2014
diff
hist
+1
TLC
→Visited States
12:09
12:09, 10 November 2014
diff
hist
+1
TLC
→Visited States
12:06
12:06, 10 November 2014
diff
hist
−7
TLC
→Visited States
12:06
12:06, 10 November 2014
diff
hist
0
File:NumberOfStates.jpeg
uploaded a new version of "
File:NumberOfStates.jpeg
"
current
12:02
12:02, 10 November 2014
diff
hist
+15
TLC
→Visited States
12:01
12:01, 10 November 2014
diff
hist
+47
TLC
→Visited States
12:00
12:00, 10 November 2014
diff
hist
+29
TLC
→Visited States
12:00
12:00, 10 November 2014
diff
hist
0
N
File:NumberOfStates.jpeg
No edit summary
11:54
11:54, 10 November 2014
diff
hist
0
N
File:NumberOfStates.pdf
No edit summary
current
11:51
11:51, 10 November 2014
diff
hist
+158
TLC
→Visited States
11:47
11:47, 10 November 2014
diff
hist
+295
TLC
No edit summary
31 October 2014
15:42
15:42, 31 October 2014
diff
hist
+55
Team
No edit summary
28 October 2014
14:22
14:22, 28 October 2014
diff
hist
−19
ABZ14
No edit summary
14:19
14:19, 28 October 2014
diff
hist
+34
N
File:Landing system.pdf
Landing Gear Requirements Document
current
14:03
14:03, 28 October 2014
diff
hist
−1
ABZ14
→Ressources
17 October 2014
10:40
10:40, 17 October 2014
diff
hist
−73
TLC
→Limitations
(
newest
|
oldest
) View (
newer 50
|
older 50
) (
20
|
50
|
100
|
250
|
500
)