Jump to content

User contributions for Dominik Hansen

Results for Dominik Hansen talk block log uploads logs

A user with 78 edits. Account created on 27 January 2012.

12:0512:05, 11 August 2016 diff hist −3 TLC No edit summary
12:0212:02, 11 August 2016 diff hist +132 TLC No edit summary

08:2808:28, 7 July 2016 diff hist −128 Editors for ProB →Atom

10:1410: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
10:1310:13, 6 July 2016 diff hist +16 Editors for ProB →Atom
10:1210:12, 6 July 2016 diff hist −2 Editors for ProB →Atom
09:3709:37, 6 July 2016 diff hist 0 Editors for ProB →Atom
09:3609:36, 6 July 2016 diff hist +13 Editors for ProB →Atom
09:3509:35, 6 July 2016 diff hist 0 File:ProB-Atom-Package.zip Dominik Hansen uploaded a new version of File:ProB-Atom-Package.zip
05:3705:37, 6 July 2016 diff hist 0 N File:ProB-Atom-Package.zip No edit summary
05:3605:36, 6 July 2016 diff hist −15 Editors for ProB →Atom
05:3405:34, 6 July 2016 diff hist +47 Editors for ProB →Atom
05:3305:33, 6 July 2016 diff hist 0 Editors for ProB →Atom
05:3305:33, 6 July 2016 diff hist 0 Editors for ProB →Atom
05:3205:32, 6 July 2016 diff hist +1 Editors for ProB →Atom
05:3105:31, 6 July 2016 diff hist +68 Editors for ProB →Atom

09:1509:15, 31 March 2016 diff hist −8 ProB for TLA Redirected page to TLA current

15:1415:14, 30 March 2016 diff hist 0 File:ProBWindowsDownload.png Dominik Hansen uploaded a new version of File:ProBWindowsDownload.png current
15:1315:13, 30 March 2016 diff hist 0 File:ProBWindowsDownload.png Dominik Hansen uploaded a new version of File:ProBWindowsDownload.png
15:1015:10, 30 March 2016 diff hist 0 File:ProBWindowsDownload.png Dominik Hansen uploaded a new version of File:ProBWindowsDownload.png
15:0615:06, 30 March 2016 diff hist −1 Windows Installation Instructions →Install Java

14:1914:19, 26 February 2016 diff hist +8 Editors for ProB No edit summary

12:3412:34, 3 February 2016 diff hist −59 Die Hard Jugs Puzzle →TLA+ Version current
11:1111:11, 3 February 2016 diff hist 0 Die Hard Jugs Puzzle No edit summary
11:1111:11, 3 February 2016 diff hist 0 Die Hard Jugs Puzzle No edit summary
11:0311:03, 3 February 2016 diff hist +3 Die Hard Jugs Puzzle →TLA+ Version
09:1809:18, 3 February 2016 diff hist +7,973 Die Hard Jugs Puzzle No edit summary
08:5308:53, 3 February 2016 diff hist +2 Die Hard Jugs Puzzle No edit summary

14:0914:09, 13 January 2016 diff hist −199 TLC No edit summary

19:5619:56, 21 November 2014 diff hist −10 TLA →Using ProB for Animation and Model Checking of TLA+ specifications
19:5319:53, 21 November 2014 diff hist −192 TLA No edit summary

10:1110:11, 10 November 2014 diff hist +4 TLC →Visited States
10:1010:10, 10 November 2014 diff hist +1 TLC →Visited States
10:0910:09, 10 November 2014 diff hist +1 TLC →Visited States
10:0610:06, 10 November 2014 diff hist −7 TLC →Visited States
10:0610:06, 10 November 2014 diff hist 0 File:NumberOfStates.jpeg uploaded a new version of "File:NumberOfStates.jpeg" current
10:0210:02, 10 November 2014 diff hist +15 TLC →Visited States
10:0110:01, 10 November 2014 diff hist +47 TLC →Visited States
10:0010:00, 10 November 2014 diff hist +29 TLC →Visited States
10:0010:00, 10 November 2014 diff hist 0 N File:NumberOfStates.jpeg No edit summary
09:5409:54, 10 November 2014 diff hist 0 N File:NumberOfStates.pdf No edit summary current
09:5109:51, 10 November 2014 diff hist +158 TLC →Visited States
09:4709:47, 10 November 2014 diff hist +295 TLC No edit summary

13:4213:42, 31 October 2014 diff hist +55 Team No edit summary

12:2212:22, 28 October 2014 diff hist −19 ABZ14 No edit summary
12:1912:19, 28 October 2014 diff hist +34 N File:Landing system.pdf Landing Gear Requirements Document current
12:0312:03, 28 October 2014 diff hist −1 ABZ14 →Ressources

08:4008:40, 17 October 2014 diff hist −73 TLC →Limitations

Retrieved from "https://prob.hhu.de/w/index.php/Special:Contributions/Dominik_Hansen"