User contributions for Michael Leuschel

18 January 2010

• 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
• 13:4413:44, 18 January 2010 diff hist 0 Tutorial First Step →Starting ProB
• 13:3813:38, 18 January 2010 diff hist −1 Tutorial First Step →Starting ProB
• 13:3813:38, 18 January 2010 diff hist +711 N Tutorial First Step Created page with 'Category:User Manual == Installation == Start off by installing the standalone Tcl/Tk version of ProB. Follow the instructions in Installation. == Starting ProB == S…'
• 13:3113:31, 18 January 2010 diff hist +49 N Tutorial Created page with 'Category:Tutorial * Tutorial First Step'
• 13:2513:25, 18 January 2010 diff hist +1 Using ProB with Atelier B →Limitations
• 13:2313:23, 18 January 2010 diff hist −589 Using ProB with Atelier B No edit summary
• 13:2113:21, 18 January 2010 diff hist +48 Using ProB with Atelier B →Limitations
• 13:1413:14, 18 January 2010 diff hist +376 Using ProB with Atelier B →Extra Features of ProB
• 13:1013:10, 18 January 2010 diff hist +3,082 N Using ProB with Atelier B Created page with ' Category:User Manual As of version 1.3, ProB contains a much improved parser which tries be compliant with Atelier B as much as possible. == Atelier B Plugin == There is…'
• 13:0413:04, 18 January 2010 diff hist +61 Current Limitations No edit summary
• 13:0213:02, 18 January 2010 diff hist +96 Installation →Which versions are there?
• 13:0113:01, 18 January 2010 diff hist +107 Installation No edit summary
• 12:5812:58, 18 January 2010 diff hist −12 Current Limitations No edit summary
• 12:5812:58, 18 January 2010 diff hist +121 Current Limitations No edit summary
• 12:5312:53, 18 January 2010 diff hist +189 Graphical Viewer →Introduction
• 12:5012:50, 18 January 2010 diff hist −11 Graphical Viewer →Setting up the Graphical Viewer
• 12:4912:49, 18 January 2010 diff hist 0 N File:GraphicalViewerPreferences.png No edit summary current
• 12:4912:49, 18 January 2010 diff hist 0 N File:GraphicalViewerPreferencesMenuEntry.png No edit summary current
• 12:4812:48, 18 January 2010 diff hist +24 Graphical Viewer No edit summary
• 12:4712:47, 18 January 2010 diff hist −12 Installation →Checklist/Troubleshooting
• 12:4612:46, 18 January 2010 diff hist +80 Installation No edit summary
• 12:2912:29, 18 January 2010 diff hist +1 Graphical Viewer →Setting up the Graphical Viewer