User contributions for Michael Leuschel

18 January 2010

• 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