User contributions for Michael Leuschel

15 December 2013

• 15:0115:01, 15 December 2013 diff hist 0 N File:ProB Lift OpPane WithJump Exec98.png No edit summary current
• 15:0115:01, 15 December 2013 diff hist 0 N File:ProB Lift ExecuteOperation Dialog.png No edit summary current
• 15:0015:00, 15 December 2013 diff hist 0 N File:ProB ExecuteOperation.png No edit summary current
• 15:0015:00, 15 December 2013 diff hist +582 Tutorial Animation Tips No edit summary
• 14:5514:55, 15 December 2013 diff hist 0 N File:ProB Lift OpPane WithJump101.png No edit summary current
• 14:5514:55, 15 December 2013 diff hist 0 N File:ProB Lift MAX OPERATIONS.png No edit summary current
• 14:5514:55, 15 December 2013 diff hist 0 N File:ProB LiftWithJump.png No edit summary current
• 14:5414:54, 15 December 2013 diff hist +1,170 N Tutorial Animation Tips Created page with 'Category:User Manual Make sure you have the Lift.mch model from the first part of the tutorial: Starting ProB and first animation steps. == Install…'
• 14:4614:46, 15 December 2013 diff hist +116 User Manual →Content of this handbook
• 14:4414:44, 15 December 2013 diff hist +92 Tutorial No edit summary

18 November 2013

• 10:5010:50, 18 November 2013 diff hist −65 The ProB Animator and Model Checker No edit summary

14 November 2013

• 09:2509:25, 14 November 2013 diff hist 0 ProB 2.0 within Rodin and a HTML Visualization Example →Obtaining the latest ProB binary
• 09:2209:22, 14 November 2013 diff hist +1 ProB 2.0 within Rodin and a HTML Visualization Example →Obtaining the latest ProB binary
• 09:2109:21, 14 November 2013 diff hist +226 ProB 2.0 within Rodin and a HTML Visualization Example →Obtaining the latest ProB binary

11 November 2013

• 13:2513:25, 11 November 2013 diff hist +9 ProB 2.0 within Rodin and a HTML Visualization Example →Import the Lift Project
• 13:2513:25, 11 November 2013 diff hist +8 ProB 2.0 within Rodin and a HTML Visualization Example →Import the Lift Project
• 13:2413:24, 11 November 2013 diff hist −17 ProB 2.0 within Rodin and a HTML Visualization Example →Import the Lift Project
• 13:2413:24, 11 November 2013 diff hist 0 N File:Lift.zip No edit summary
• 13:2413:24, 11 November 2013 diff hist +1 ProB 2.0 within Rodin and a HTML Visualization Example →Import the Lift Project
• 13:2313:23, 11 November 2013 diff hist +21 ProB 2.0 within Rodin and a HTML Visualization Example No edit summary
• 08:5308:53, 11 November 2013 diff hist −1 ProB 2.0 within Rodin and a HTML Visualization Example →Open HTML Visualization
• 08:5308:53, 11 November 2013 diff hist +2 ProB 2.0 within Rodin and a HTML Visualization Example →Open HTML Visualization
• 08:5308:53, 11 November 2013 diff hist 0 ProB 2.0 within Rodin and a HTML Visualization Example →Start Animating the Lift
• 08:5308:53, 11 November 2013 diff hist 0 N File:MLiftEventsView.png No edit summary current
• 08:5208:52, 11 November 2013 diff hist 0 N File:MLiftNavigateHTMLVisualization2.png No edit summary current
• 08:5208:52, 11 November 2013 diff hist +85 ProB 2.0 within Rodin and a HTML Visualization Example →Open HTML Visualization
• 08:5108:51, 11 November 2013 diff hist 0 N File:MLiftNavigateHTMLVisualization.png No edit summary current
• 08:5108:51, 11 November 2013 diff hist +169 ProB 2.0 within Rodin and a HTML Visualization Example →Open HTML Visualization
• 08:4908:49, 11 November 2013 diff hist +39 ProB 2.0 within Rodin and a HTML Visualization Example →Open HTML Visualization
• 08:4908:49, 11 November 2013 diff hist +8 ProB 2.0 within Rodin and a HTML Visualization Example →Start Animating the Lift
• 08:4908:49, 11 November 2013 diff hist 0 N File:MLiftHTMLVisualization.png No edit summary current
• 08:4808:48, 11 November 2013 diff hist 0 N File:MLiftOpenHTMLVisualization.png No edit summary
• 08:4808:48, 11 November 2013 diff hist 0 N File:MLiftAnimateWithProB.png No edit summary current
• 08:4808:48, 11 November 2013 diff hist +520 ProB 2.0 within Rodin and a HTML Visualization Example No edit summary
• 08:4508:45, 11 November 2013 diff hist +73 ProB 2.0 within Rodin and a HTML Visualization Example →Import the Lift Project
• 08:4108:41, 11 November 2013 diff hist 0 ProB 2.0 within Rodin and a HTML Visualization Example →Obtaining the latest ProB binary
• 08:4108:41, 11 November 2013 diff hist 0 ProB 2.0 within Rodin and a HTML Visualization Example →Obtaining the latest ProB binary
• 08:4108:41, 11 November 2013 diff hist 0 N File:GroovyConsoleUpgradeLatest.png No edit summary current
• 08:4008:40, 11 November 2013 diff hist +64 ProB 2.0 within Rodin and a HTML Visualization Example →Obtaining the latest ProB binary
• 08:3908:39, 11 November 2013 diff hist +376 N ProB 2.0 within Rodin and a HTML Visualization Example Created page with ' == Installing ProB 2.0 from Rodin 2.7 or later == * Enter the update site <tt> http://nightly.cobra.cs.uni-duesseldorf.de/experimental/updatesite/</tt> and install the ProB 2.0…'
• 08:3608:36, 11 November 2013 diff hist +61 Developer Manual →ProB 2.0

5 November 2013

• 11:2011:20, 5 November 2013 diff hist +103 ProB Examples No edit summary

21 October 2013

• 12:1212:12, 21 October 2013 diff hist −16 ProB Logic Calculator →Executing the Calculator locally
• 12:1112:11, 21 October 2013 diff hist +232 ProB Logic Calculator →Executing the Calculator locally

11 September 2013

• 11:5411:54, 11 September 2013 diff hist +5,220 Rush Hour Puzzle →Adapted version for TLC
• 10:1810:18, 11 September 2013 diff hist 0 N File:ProB-TLC RushHour Screenshot.png No edit summary current
• 10:1710:17, 11 September 2013 diff hist +274 Rush Hour Puzzle No edit summary

5 September 2013

• 07:4007:40, 5 September 2013 diff hist +4 Game of Life No edit summary
• 07:2407:24, 5 September 2013 diff hist +594 Game of Life No edit summary
• 07:2007:20, 5 September 2013 diff hist 0 N File:ProB GameOfLife Screenshot.png No edit summary current