User contributions for Michael Leuschel

19:3819:38, 10 October 2010 diff hist 0 N File:ProB CSPAfterBoardSingleClick.png No edit summary
19:3819:38, 10 October 2010 diff hist +382 Tutorial CSP First Step →First Steps in Animation
19:3519:35, 10 October 2010 diff hist +20 Tutorial CSP First Step →First Steps in Animation
19:2919:29, 10 October 2010 diff hist 0 Tutorial CSP First Step →Error Highlighting
19:2819:28, 10 October 2010 diff hist +70 Tutorial CSP First Step No edit summary
19:2719:27, 10 October 2010 diff hist +15 Tutorial CSP First Step →Error Highlighting
19:2619:26, 10 October 2010 diff hist +50 Tutorial CSP First Step →Error Highlighting
19:2519:25, 10 October 2010 diff hist 0 N File:ProB CSPAfterModelCheck2.png No edit summary
19:2519:25, 10 October 2010 diff hist +672 Tutorial CSP First Step No edit summary
19:1919:19, 10 October 2010 diff hist +52 Tutorial CSP First Step No edit summary
19:1819:18, 10 October 2010 diff hist +246 Tutorial CSP First Step No edit summary
19:1619:16, 10 October 2010 diff hist 0 Tutorial CSP First Step No edit summary
19:1519:15, 10 October 2010 diff hist 0 N File:ProB CSPAfterModelCheck.png No edit summary
19:1519:15, 10 October 2010 diff hist 0 N File:ProB CSPModelCheck.png No edit summary
19:1419:14, 10 October 2010 diff hist +825 Tutorial CSP First Step No edit summary
19:0819:08, 10 October 2010 diff hist 0 File:ProB CSPAfterTauSingleClick.png uploaded a new version of "File:ProB CSPAfterTauSingleClick.png"
19:0519:05, 10 October 2010 diff hist 0 N File:ProB CSPAfterTauSingleClick.png No edit summary
19:0519:05, 10 October 2010 diff hist +611 Tutorial CSP First Step No edit summary
19:0119:01, 10 October 2010 diff hist 0 File:ProB CSPAfterInit.png uploaded a new version of "File:ProB CSPAfterInit.png"
19:0019:00, 10 October 2010 diff hist 0 File:ProB CSPAfterInit.png uploaded a new version of "File:ProB CSPAfterInit.png"
19:0019:00, 10 October 2010 diff hist 0 N File:ProB CSPAfterInit.png No edit summary
18:5818:58, 10 October 2010 diff hist 0 N File:ProB BusesAfterLoad.png No edit summary
18:5818:58, 10 October 2010 diff hist +1,786 N Tutorial CSP First Step Created page with '[Category:User Manual]] == Startup == Start off by installing the standalone Tcl/Tk version of ProB. Follow the instructions in Installation. Start ProB by double-clicking…'
18:5218:52, 10 October 2010 diff hist +142 Tutorial No edit summary

14:5014:50, 4 October 2010 diff hist +100 TrainSwitchingPuzzle No edit summary current
05:4705:47, 4 October 2010 diff hist +40 TrainSwitchingPuzzle No edit summary
05:4505:45, 4 October 2010 diff hist +66 TrainSwitchingPuzzle No edit summary
05:4405:44, 4 October 2010 diff hist +104 TrainSwitchingPuzzle No edit summary
05:2405:24, 4 October 2010 diff hist +2,315 N TrainSwitchingPuzzle Created page with 'This model was developed to solve Puzzle Nr 40 from the book "My best mathematical and logical puzzles" by Martin Gardner. <tt> MACHINE GardnerSwitchingPuzzle_v2 /* v2 without …'

16:4716:47, 3 October 2010 diff hist +49 User Manual No edit summary

15:2415:24, 8 August 2010 diff hist −5 Using ProB with Atelier B →Extra Features of ProB

14:3914:39, 30 July 2010 diff hist +30 Download →Latest Release
14:3814:38, 30 July 2010 diff hist 0 Download →Latest Release
14:3314:33, 30 July 2010 diff hist +184 The ProB Animator and Model Checker No edit summary
14:2914:29, 30 July 2010 diff hist +2 Download →Latest Release
14:2414:24, 30 July 2010 diff hist 0 Download →Latest Release
14:1014:10, 30 July 2010 diff hist −14 Download →Latest Release
13:1813:18, 30 July 2010 diff hist 0 Download →Latest Release

05:3105:31, 29 July 2010 diff hist +378 Tutorial Rodin Parameters →Size of unspecified sets
05:2005:20, 29 July 2010 diff hist −7 Tutorial Rodin Parameters →Preferences
05:2005:20, 29 July 2010 diff hist 0 N File:RodinPrefs.png No edit summary
05:2005:20, 29 July 2010 diff hist +358 Tutorial Rodin Parameters No edit summary

11:2011:20, 28 July 2010 diff hist −1 Tutorial Rodin Parameters →Size of unspecified sets
11:2011:20, 28 July 2010 diff hist 0 N File:ProBRodinPrefs.png No edit summary
11:1911:19, 28 July 2010 diff hist +1,417 N Tutorial Rodin Parameters Created page with 'Category:User Manual == Preferences == You can modify the ProB preferences by selecting the ProB pane inside the Rodin preferences. We explain the most important preferenc…'
11:0111:01, 28 July 2010 diff hist +72 Tutorial No edit summary

08:0108:01, 27 July 2010 diff hist +113 Tutorial No edit summary
07:5507:55, 27 July 2010 diff hist +28 Tutorial Rodin First Step No edit summary
07:5407:54, 27 July 2010 diff hist 0 N File:ProBRodinAfterOpChoose.png No edit summary
07:5407:54, 27 July 2010 diff hist +41 Tutorial Rodin First Step No edit summary

User contributions for Michael Leuschel

10 October 2010

4 October 2010

3 October 2010

8 August 2010

30 July 2010

29 July 2010

28 July 2010

27 July 2010