User contributions for Michael Leuschel

10 February 2011

• 16:1616:16, 10 February 2011 diff hist +170‎ The ProB Animator and Model Checker ‎No edit summary
• 13:3513:35, 10 February 2011 diff hist 0‎ Download ‎ →‎Latest Release
• 13:3413:34, 10 February 2011 diff hist +1,264‎ Download ‎ →‎Latest Release

1 February 2011

• 15:0115:01, 1 February 2011 diff hist +145‎ Getting Involved ‎ →‎The Prolog Sources

26 October 2010

• 07:3407:34, 26 October 2010 diff hist −1‎ SiemensComplicatedProp ‎No edit summary current
• 07:3407:34, 26 October 2010 diff hist +517‎ SiemensComplicatedProp ‎No edit summary

25 October 2010

• 13:0313:03, 25 October 2010 diff hist −4‎ SiemensComplicatedProp ‎No edit summary
• 13:0213:02, 25 October 2010 diff hist −12‎ SiemensComplicatedProp ‎No edit summary
• 13:0213:02, 25 October 2010 diff hist −4‎ SiemensComplicatedProp ‎No edit summary
• 13:0113:01, 25 October 2010 diff hist −4‎ SiemensComplicatedProp ‎No edit summary
• 12:5912:59, 25 October 2010 diff hist +6‎ SiemensComplicatedProp ‎No edit summary
• 12:5812:58, 25 October 2010 diff hist 0‎ N File:GraphicalViewerSiemensSaoPauloL9.png ‎No edit summary
• 12:5812:58, 25 October 2010 diff hist +94‎ SiemensComplicatedProp ‎No edit summary
• 12:5612:56, 25 October 2010 diff hist 0‎ N File:GraphicalViewerSiemensSaoPauloL9.pdf ‎No edit summary current
• 12:5612:56, 25 October 2010 diff hist +992‎ N SiemensComplicatedProp ‎ Created page with 'This shows the graphical visualisation of a complicated property by ProB's graphical formula viewer. The property is the following one: <pre> (!iti_ztr.(iti_ztr: t_iti_ztr_pas =…'
• 12:5212:52, 25 October 2010 diff hist +93‎ User Manual ‎No edit summary

11 October 2010

• 08:2808:28, 11 October 2010 diff hist +172‎ Tutorial CSP First Step ‎ →‎Other Features
• 06:4306:43, 11 October 2010 diff hist +105‎ Tutorial CSP First Step ‎ →‎Other Features
• 06:4106:41, 11 October 2010 diff hist 0‎ Tutorial CSP First Step ‎ →‎Other Features
• 06:4006:40, 11 October 2010 diff hist 0‎ N File:ProB CSPBusStatespace.png ‎No edit summary
• 06:4006:40, 11 October 2010 diff hist +168‎ Tutorial CSP First Step ‎No edit summary

10 October 2010

• 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

4 October 2010

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