User contributions for Michael Leuschel

18 January 2010

• 16:2616:26, 18 January 2010 diff hist 0 N File:ProB Jukebox StatespaceFull.png No edit summary current
• 16:2516:25, 18 January 2010 diff hist +944 Tutorial Setup Phases No edit summary
• 16:1616:16, 18 January 2010 diff hist +530 Tutorial Setup Phases →3. INITIALISATION
• 16:1316:13, 18 January 2010 diff hist +491 Tutorial Setup Phases →2. SETUP_CONSTANTS
• 16:0916:09, 18 January 2010 diff hist 0 N File:ProB JukeboxAfterINITIALISATION.png No edit summary current
• 16:0916:09, 18 January 2010 diff hist 0 N File:ProB JukeboxAfterSETUPCONSTANTS.png No edit summary current
• 16:0916:09, 18 January 2010 diff hist +122 Tutorial Setup Phases No edit summary
• 16:0416:04, 18 January 2010 diff hist +130 Tutorial Setup Phases No edit summary
• 16:0316:03, 18 January 2010 diff hist +1,638 Tutorial Setup Phases No edit summary
• 15:5315:53, 18 January 2010 diff hist 0 N File:ProB AnimationPhases.png No edit summary current
• 15:5215:52, 18 January 2010 diff hist 0 N File:ProB JukeboxAfterLoad.png No edit summary current
• 15:5215:52, 18 January 2010 diff hist +986 N Tutorial Setup Phases Created page with 'Category:User Manual We assume that you grasped the first steps of opening and animating a B machine as outlined in [[Tutorial First Steps]. In this lesson, we examine mor…'
• 15:4415:44, 18 January 2010 diff hist +64 Tutorial No edit summary
• 15:1415:14, 18 January 2010 diff hist +120 Tutorial First Model Checking →View Statespace
• 15:1315:13, 18 January 2010 diff hist +32 Template:User Manual Index No edit summary
• 15:1015:10, 18 January 2010 diff hist +410 Tutorial No edit summary
• 15:0515:05, 18 January 2010 diff hist +1 Tutorial First Model Checking →View Statespace
• 15:0415:04, 18 January 2010 diff hist +126 Tutorial First Model Checking →Simple Model Checking
• 15:0315:03, 18 January 2010 diff hist 0 N File:ProB GraphicalViewerPreferences Shapes.png No edit summary current
• 15:0315:03, 18 January 2010 diff hist +60 Tutorial First Model Checking No edit summary
• 15:0215:02, 18 January 2010 diff hist 0 N File:ProB LiftAfterModelCheck Statespace.png No edit summary current
• 15:0215:02, 18 January 2010 diff hist +784 Tutorial First Model Checking No edit summary
• 14:5614:56, 18 January 2010 diff hist 0 N File:ProB LiftAfterModelCheck Coverage.png No edit summary current
• 14:5614:56, 18 January 2010 diff hist +1,701 Tutorial First Model Checking No edit summary
• 14:3714:37, 18 January 2010 diff hist 0 N File:ProBWinModelCheckCommand.png No edit summary current
• 14:3714:37, 18 January 2010 diff hist 0 N File:ProBWinModelCheckDialog.png No edit summary current
• 14:3714:37, 18 January 2010 diff hist 0 N File:ProBWinModelCheckCounterExampleFound.png No edit summary current
• 14:3714:37, 18 January 2010 diff hist 0 N File:ProB LiftAfterModelCheck.png No edit summary current
• 14:3714:37, 18 January 2010 diff hist +901 N Tutorial First Model Checking Created page with 'Category:User Manual We assume that you have loaded the "Lift.mch" B machine from the ProB Examples folder, as outlined in [[Tutorial First Steps]. There we have also seen …'
• 14:3114:31, 18 January 2010 diff hist +106 Tutorial No edit summary
• 14:2514:25, 18 January 2010 diff hist +21 Tutorial First Step →First Steps in Animation
• 14:2314:23, 18 January 2010 diff hist 0 File:ProB LiftAfterDecBack.png uploaded a new version of "File:ProB LiftAfterDecBack.png" current
• 14:2314:23, 18 January 2010 diff hist 0 N File:ProB LiftAfterDec.png No edit summary current
• 14:2314:23, 18 January 2010 diff hist 0 N File:ProB LiftAfterDecBack.png No edit summary
• 14:2214:22, 18 January 2010 diff hist 0 N File:ProB LiftAfterInitInvariant.png No edit summary current
• 14:2214:22, 18 January 2010 diff hist +1,611 Tutorial First Step →First Steps in Animation
• 14:1214:12, 18 January 2010 diff hist 0 N File:ProB LiftAfterInit.png No edit summary current
• 14:1114:11, 18 January 2010 diff hist +1,280 Tutorial First Step No edit summary
• 14:0114:01, 18 January 2010 diff hist +6 Tutorial First Step →Loading a first B machine
• 14:0114:01, 18 January 2010 diff hist 0 N File:ProB LiftAfterLoad.png No edit summary current
• 14:0014:00, 18 January 2010 diff hist 0 N File:ProBWinExamplesFolder.png No edit summary current
• 14:0014:00, 18 January 2010 diff hist 0 N File:ProBWinOpen.png No edit summary current
• 14:0014:00, 18 January 2010 diff hist +402 Tutorial First Step No edit summary
• 13:5413:54, 18 January 2010 diff hist +194 Tutorial First Step →Starting ProB
• 13:5213:52, 18 January 2010 diff hist 0 N File:ProBWinContents.png No edit summary current
• 13:5213:52, 18 January 2010 diff hist +62 Tutorial First Step No edit summary
• 13:5013:50, 18 January 2010 diff hist 0 N File:ProBStartTerminal.png No edit summary current
• 13:4713:47, 18 January 2010 diff hist +14 Tutorial First Step →Starting ProB
• 13:4713:47, 18 January 2010 diff hist +7 Tutorial First Step →Starting ProB
• 13:4413:44, 18 January 2010 diff hist 0 N File:ProBStartWindow.png No edit summary current