User contributions for Michael Leuschel

08:4208:42, 2 April 2012 diff hist +577 External Functions No edit summary
07:5207:52, 2 April 2012 diff hist +1 External Functions No edit summary
07:5207:52, 2 April 2012 diff hist +185 External Functions No edit summary
07:3707:37, 2 April 2012 diff hist +445 External Functions No edit summary
07:3307:33, 2 April 2012 diff hist +463 External Functions No edit summary
07:0407:04, 2 April 2012 diff hist +1,147 N External Functions Created page with ' As of version 1.3.5-beta7 ProB can make use of externally defined functions. These functions must currently be written in Prolog (in principle C, Java, Tcl or even other languag…'
06:5606:56, 2 April 2012 diff hist +25 Template:User Manual Index No edit summary

08:4308:43, 31 March 2012 diff hist +198 Eval Console No edit summary
08:3908:39, 31 March 2012 diff hist +231 N Template:Shell2 Created page with '<html > <iframe src="http://www.stups.uni-duesseldorf.de/ProB/exshell/plc.html" width="100%" height="500" name="ProB Shell" border="0" frameborder="0" scrolling="no"> <p>Your B…' current

13:1813:18, 30 March 2012 diff hist 0 The ProB Animator and Model Checker No edit summary
13:1813:18, 30 March 2012 diff hist +1 The ProB Animator and Model Checker No edit summary
13:1813:18, 30 March 2012 diff hist +186 The ProB Animator and Model Checker No edit summary
13:0813:08, 30 March 2012 diff hist +10 Summary of B Syntax →Numbers:
13:0813:08, 30 March 2012 diff hist +11,283 N Summary of B Syntax Created page with 'Category:Tutorial Category:User Manual == Summary of B Syntax == === Logical predicates: === <pre> P & Q conjunction P or Q disjunction P => Q impl…'
13:0413:04, 30 March 2012 diff hist +26 Template:User Manual Index No edit summary
13:0413:04, 30 March 2012 diff hist +62 User:Michael Leuschel No edit summary current
12:0412:04, 30 March 2012 diff hist +54 The ProB Animator and Model Checker No edit summary
11:5611:56, 30 March 2012 diff hist +253 User:Michael Leuschel No edit summary
11:4611:46, 30 March 2012 diff hist +3 User:Michael Leuschel No edit summary
11:4611:46, 30 March 2012 diff hist −5 User:Michael Leuschel No edit summary
11:4611:46, 30 March 2012 diff hist +247 User:Michael Leuschel No edit summary
11:3711:37, 30 March 2012 diff hist +71 Eval Console No edit summary

10:5310:53, 23 March 2012 diff hist +218 Download →Nightly Build

06:4806:48, 17 March 2012 diff hist −1 Recursively Defined Functions No edit summary
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

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

User contributions for Michael Leuschel

2 April 2012

31 March 2012

30 March 2012

23 March 2012

17 March 2012

27 February 2012