User contributions for Michael Leuschel

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 …'

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
07:5207:52, 27 July 2010 diff hist 0 N File:ProBRodinOpChoose.png No edit summary
07:5207:52, 27 July 2010 diff hist 0 N File:ProBRodinInit.png No edit summary
07:5107:51, 27 July 2010 diff hist 0 N File:ProBRodinStart.png No edit summary
07:5107:51, 27 July 2010 diff hist +1,135 N Tutorial Rodin First Step Created page with 'Category:User Manual == Installation == Start off by installing the ProB Plugin for Rodin by choosing "Install new software...". == Starting ProB == Start by right click…'
07:4507:45, 27 July 2010 diff hist +150 Tutorial No edit summary

11:1511:15, 15 June 2010 diff hist +950 N ProBLicence Created page with 'Category:User Manual == ProB Licence == (C) 2000-2010 Michael Leuschel (and many others; see below) All rights reserved. ProB can now be used freely for commercial, non-co…'
11:1311:13, 15 June 2010 diff hist +53 The ProB Animator and Model Checker No edit summary