User contributions for Michael Leuschel

18 January 2010

• 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
• 12:2812:28, 18 January 2010 diff hist 0‎ N File:GraphicalViewerSubMenu.png ‎No edit summary current
• 12:2812:28, 18 January 2010 diff hist +37‎ Graphical Viewer ‎No edit summary
• 12:2512:25, 18 January 2010 diff hist +108‎ Graphical Viewer ‎No edit summary
• 12:2112:21, 18 January 2010 diff hist +1,349‎ N Graphical Viewer ‎ Created page with ' == Introduction == ProB can generate a wide range of visualizations for your models. For this ProB generates first a textual representation of a graph in the "dot" format. This…'
• 12:1612:16, 18 January 2010 diff hist +2‎ Installation ‎No edit summary
• 12:1512:15, 18 January 2010 diff hist +277‎ Installation ‎No edit summary
• 12:0212:02, 18 January 2010 diff hist +970‎ Installation ‎No edit summary
• 11:5411:54, 18 January 2010 diff hist +7‎ Installation ‎ →‎Which version shall I use?