User contributions for Dominik Hansen

30 March 2016

• 15:0615:06, 30 March 2016 diff hist −1 Windows Installation Instructions →Install Java

26 February 2016

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

3 February 2016

• 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

13 January 2016

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

18 December 2015

• 18:0718:07, 18 December 2015 diff hist −9 State space visualization examples →Alternating Bit Protocol
• 18:0318:03, 18 December 2015 diff hist +3 State space visualization examples →Alternating Bit Protocol

21 November 2014

• 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 November 2014

• 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