User contributions for Michael Leuschel

17 March 2012

• 06:4806:48, 17 March 2012 diff hist −3‎ Recursively Defined Functions ‎ →‎Recursive Function Definitions in ProB
• 06:4706:47, 17 March 2012 diff hist +456‎ Recursively Defined Functions ‎No edit summary
• 06:4206:42, 17 March 2012 diff hist +1,063‎ Recursively Defined Functions ‎No edit summary
• 06:3506:35, 17 March 2012 diff hist −132‎ Recursively Defined Functions ‎No edit summary

27 February 2012

• 20:4120:41, 27 February 2012 diff hist +85‎ Prolog Coding Guidelines ‎ →‎Module Information
• 20:1520:15, 27 February 2012 diff hist +305‎ Prolog Coding Guidelines ‎No edit summary
• 20:1320:13, 27 February 2012 diff hist +366‎ Prolog Coding Guidelines ‎No edit summary
• 20:0820:08, 27 February 2012 diff hist −22‎ Recursively Defined Functions ‎No edit summary
• 20:0720:07, 27 February 2012 diff hist +28‎ Recursively Defined Functions ‎No edit summary
• 20:0520:05, 27 February 2012 diff hist +12‎ Recursively Defined Functions ‎No edit summary
• 18:1318:13, 27 February 2012 diff hist +294‎ Eval Console ‎No edit summary
• 16:4816:48, 27 February 2012 diff hist +81‎ Eval Console ‎No edit summary
• 16:4616:46, 27 February 2012 diff hist +76‎ Eval Console ‎No edit summary
• 16:4516:45, 27 February 2012 diff hist 0‎ N File:StackConstructiveProBEvalConsoleFull2.png ‎No edit summary current
• 16:4416:44, 27 February 2012 diff hist +295‎ Eval Console ‎No edit summary
• 16:3716:37, 27 February 2012 diff hist +53‎ Eval Console ‎No edit summary
• 16:3616:36, 27 February 2012 diff hist 0‎ N File:StackConstructiveProBEvalConsoleFull.png ‎No edit summary current
• 16:3516:35, 27 February 2012 diff hist +324‎ Eval Console ‎No edit summary
• 16:3016:30, 27 February 2012 diff hist 0‎ File:StackConstructiveProBEvalConsoleEmpty.png ‎ uploaded a new version of "File:StackConstructiveProBEvalConsoleEmpty.png" current
• 16:3016:30, 27 February 2012 diff hist 0‎ File:StackConstructiveProBEvalConsoleEmpty.png ‎ uploaded a new version of "File:StackConstructiveProBEvalConsoleEmpty.png"
• 16:2916:29, 27 February 2012 diff hist +14‎ Eval Console ‎No edit summary
• 16:2916:29, 27 February 2012 diff hist 0‎ N File:StackConstructiveProBEvalConsoleEmpty.png ‎No edit summary
• 16:2916:29, 27 February 2012 diff hist 0‎ N File:StackConstructiveProBEvalCommand.png ‎No edit summary current
• 16:2916:29, 27 February 2012 diff hist +432‎ Eval Console ‎No edit summary
• 16:2516:25, 27 February 2012 diff hist +358‎ N Eval Console ‎ Created page with ' For this tutorial, load for example the file <tt>StackConstructive.mch</tt> included in the <tt>examples/Tutorial</tt> directory of the [http://www.stups.uni-duesseldorf.de/ProB…'
• 16:2316:23, 27 February 2012 diff hist +54‎ Tutorial ‎No edit summary
• 16:2216:22, 27 February 2012 diff hist +334‎ Tutorial Modeling Infinite Datatypes ‎No edit summary
• 16:0816:08, 27 February 2012 diff hist +18‎ Using ProB with Atelier B ‎No edit summary
• 16:0616:06, 27 February 2012 diff hist −106‎ Using ProB with Atelier B ‎No edit summary
• 16:0416:04, 27 February 2012 diff hist +14‎ Current Limitations ‎No edit summary
• 16:0316:03, 27 February 2012 diff hist +67‎ Current Limitations ‎No edit summary
• 16:0216:02, 27 February 2012 diff hist +399‎ Current Limitations ‎No edit summary
• 15:5715:57, 27 February 2012 diff hist −21‎ General Presentation (tcl/tk) ‎No edit summary
• 15:5615:56, 27 February 2012 diff hist +14‎ State Space Visualization ‎No edit summary
• 15:5515:55, 27 February 2012 diff hist +61‎ Consistency Checking ‎ →‎Using the Temporal Model Checker (TMC)
• 15:5415:54, 27 February 2012 diff hist −1‎ Consistency Checking ‎ →‎Using the Temporal Model Checker (TMC)
• 15:5315:53, 27 February 2012 diff hist +5‎ Consistency Checking ‎ →‎Using the Temporal Model Checker (TMC)
• 15:5115:51, 27 February 2012 diff hist +378‎ Consistency Checking ‎No edit summary
• 15:4415:44, 27 February 2012 diff hist 0‎ N File:Temporal Model Checker settings.png ‎No edit summary current

25 February 2012

• 18:4618:46, 25 February 2012 diff hist +111‎ Tutorial ‎No edit summary
• 18:4418:44, 25 February 2012 diff hist +207‎ Tutorial ‎No edit summary
• 07:5507:55, 25 February 2012 diff hist +455‎ Tutorial Rodin Exporting ‎ →‎Loading an Event-B Project into ProB classic
• 07:3307:33, 25 February 2012 diff hist 0‎ N File:ProBRodinClassicPreference.png ‎No edit summary current
• 07:3307:33, 25 February 2012 diff hist +357‎ Tutorial Rodin Exporting ‎No edit summary
• 07:2907:29, 25 February 2012 diff hist +384‎ Tutorial Rodin Exporting ‎No edit summary
• 07:2707:27, 25 February 2012 diff hist 0‎ N File:ProBRodinLoadedInTclTk.png ‎No edit summary current
• 07:2707:27, 25 February 2012 diff hist +447‎ Tutorial Rodin Exporting ‎No edit summary
• 07:2307:23, 25 February 2012 diff hist +765‎ Tutorial Rodin Exporting ‎No edit summary
• 07:1507:15, 25 February 2012 diff hist 0‎ N File:ProBRodinExport.png ‎No edit summary current
• 07:1507:15, 25 February 2012 diff hist +523‎ N Tutorial Rodin Exporting ‎ Created page with 'Category:User Manual == Introduction == Many features of ProB are currently only available in the ProB Tcl/Tk or the [[Using_the_Command-Line_Version_of_ProB|probcli comma…'