User contributions for Michael Leuschel

16 December 2013

• 16:2716:27, 16 December 2013 diff hist +258 Using ProB with Atelier B →Extra Features of ProB
• 16:1816:18, 16 December 2013 diff hist +201 Current Limitations No edit summary
• 16:1816:18, 16 December 2013 diff hist +200 Using ProB with Atelier B →Extra Features of ProB
• 16:1516:15, 16 December 2013 diff hist +338 Current Limitations No edit summary

15 December 2013

• 15:0715:07, 15 December 2013 diff hist +210 Tutorial Animation Tips →Executing an Operation by Predicate
• 15:0615:06, 15 December 2013 diff hist 0 N File:ProB Lift ExecuteOperation Dialog Pred.png No edit summary current
• 15:0515:05, 15 December 2013 diff hist +205 Tutorial Animation Tips →Executing an Operation by Predicate
• 15:0315:03, 15 December 2013 diff hist 0 N File:ProB Lift ExecuteOperationMenu.png No edit summary current
• 15:0315:03, 15 December 2013 diff hist +24 Tutorial Animation Tips No edit summary
• 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