User contributions for Dominik Hansen

11 August 2016

• 14:0514:05, 11 August 2016 diff hist −3‎ TLC ‎No edit summary
• 14:0214:02, 11 August 2016 diff hist +132‎ TLC ‎No edit summary

7 July 2016

• 10:2810:28, 7 July 2016 diff hist −128‎ Editors for ProB ‎ →‎Atom

6 July 2016

• 12:1412: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:1312:13, 6 July 2016 diff hist +16‎ Editors for ProB ‎ →‎Atom
• 12:1212:12, 6 July 2016 diff hist −2‎ Editors for ProB ‎ →‎Atom
• 11:3711:37, 6 July 2016 diff hist 0‎ Editors for ProB ‎ →‎Atom
• 11:3611:36, 6 July 2016 diff hist +13‎ Editors for ProB ‎ →‎Atom
• 11:3511: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:3707:37, 6 July 2016 diff hist 0‎ N File:ProB-Atom-Package.zip ‎No edit summary
• 07:3607:36, 6 July 2016 diff hist −15‎ Editors for ProB ‎ →‎Atom
• 07:3407:34, 6 July 2016 diff hist +47‎ Editors for ProB ‎ →‎Atom
• 07:3307:33, 6 July 2016 diff hist 0‎ Editors for ProB ‎ →‎Atom
• 07:3307:33, 6 July 2016 diff hist 0‎ Editors for ProB ‎ →‎Atom
• 07:3207:32, 6 July 2016 diff hist +1‎ Editors for ProB ‎ →‎Atom
• 07:3107:31, 6 July 2016 diff hist +68‎ Editors for ProB ‎ →‎Atom

31 March 2016

• 11:1511:15, 31 March 2016 diff hist −8‎ ProB for TLA ‎ Redirected page to TLA current

30 March 2016

• 17:1417:14, 30 March 2016 diff hist 0‎ File:ProBWindowsDownload.png ‎ Dominik Hansen uploaded a new version of File:ProBWindowsDownload.png current
• 17:1317:13, 30 March 2016 diff hist 0‎ File:ProBWindowsDownload.png ‎ Dominik Hansen uploaded a new version of File:ProBWindowsDownload.png
• 17:1017:10, 30 March 2016 diff hist 0‎ File:ProBWindowsDownload.png ‎ Dominik Hansen uploaded a new version of File:ProBWindowsDownload.png
• 17:0617:06, 30 March 2016 diff hist −1‎ Windows Installation Instructions ‎ →‎Install Java

26 February 2016

• 16:1916:19, 26 February 2016 diff hist +8‎ Editors for ProB ‎No edit summary

3 February 2016

• 14:3414:34, 3 February 2016 diff hist −59‎ Die Hard Jugs Puzzle ‎ →‎TLA+ Version current
• 13:1113:11, 3 February 2016 diff hist 0‎ Die Hard Jugs Puzzle ‎No edit summary
• 13:1113:11, 3 February 2016 diff hist 0‎ Die Hard Jugs Puzzle ‎No edit summary
• 13:0313:03, 3 February 2016 diff hist +3‎ Die Hard Jugs Puzzle ‎ →‎TLA+ Version
• 11:1811:18, 3 February 2016 diff hist +7,973‎ Die Hard Jugs Puzzle ‎No edit summary
• 10:5310:53, 3 February 2016 diff hist +2‎ Die Hard Jugs Puzzle ‎No edit summary

13 January 2016

• 16:0916:09, 13 January 2016 diff hist −199‎ TLC ‎No edit summary

18 December 2015

• 20:0720:07, 18 December 2015 diff hist −9‎ State space visualization examples ‎ →‎Alternating Bit Protocol
• 20:0320:03, 18 December 2015 diff hist +3‎ State space visualization examples ‎ →‎Alternating Bit Protocol

21 November 2014

• 21:5621:56, 21 November 2014 diff hist −10‎ TLA ‎ →‎Using ProB for Animation and Model Checking of TLA+ specifications
• 21:5321:53, 21 November 2014 diff hist −192‎ TLA ‎No edit summary

10 November 2014

• 12:1112:11, 10 November 2014 diff hist +4‎ TLC ‎ →‎Visited States
• 12:1012:10, 10 November 2014 diff hist +1‎ TLC ‎ →‎Visited States
• 12:0912:09, 10 November 2014 diff hist +1‎ TLC ‎ →‎Visited States
• 12:0612:06, 10 November 2014 diff hist −7‎ TLC ‎ →‎Visited States
• 12:0612:06, 10 November 2014 diff hist 0‎ File:NumberOfStates.jpeg ‎ uploaded a new version of "File:NumberOfStates.jpeg" current
• 12:0212:02, 10 November 2014 diff hist +15‎ TLC ‎ →‎Visited States
• 12:0112:01, 10 November 2014 diff hist +47‎ TLC ‎ →‎Visited States
• 12:0012:00, 10 November 2014 diff hist +29‎ TLC ‎ →‎Visited States
• 12:0012:00, 10 November 2014 diff hist 0‎ N File:NumberOfStates.jpeg ‎No edit summary
• 11:5411:54, 10 November 2014 diff hist 0‎ N File:NumberOfStates.pdf ‎No edit summary current
• 11:5111:51, 10 November 2014 diff hist +158‎ TLC ‎ →‎Visited States
• 11:4711:47, 10 November 2014 diff hist +295‎ TLC ‎No edit summary

31 October 2014

• 15:4215:42, 31 October 2014 diff hist +55‎ Team ‎No edit summary

28 October 2014

• 14:2214:22, 28 October 2014 diff hist −19‎ ABZ14 ‎No edit summary
• 14:1914:19, 28 October 2014 diff hist +34‎ N File:Landing system.pdf ‎ Landing Gear Requirements Document current
• 14:0314:03, 28 October 2014 diff hist −1‎ ABZ14 ‎ →‎Ressources

17 October 2014

• 10:4010:40, 17 October 2014 diff hist −73‎ TLC ‎ →‎Limitations