User contributions for Michael Leuschel

10:2010:20, 11 June 2012 diff hist +94 ProB Logic Calculator →Executing the Calculator locally

07:3407:34, 3 June 2012 diff hist +47 Using the Command-Line Version of ProB →Preferences

08:1308:13, 17 May 2012 diff hist −64 Tutorial No edit summary
08:0608:06, 17 May 2012 diff hist +203 Download →Latest Release

16:3516:35, 3 May 2012 diff hist +30 Using the Command-Line Version of ProB →Preferences

06:1906:19, 23 April 2012 diff hist +11 Recursively Defined Functions No edit summary
05:4405:44, 23 April 2012 diff hist +31 Recursively Defined Functions →Recursive Function Definitions in ProB

06:0106:01, 4 April 2012 diff hist +20 Summary of B Syntax →Statements:
04:5904:59, 4 April 2012 diff hist +94 Summary of B Syntax →Logical predicates:
04:5804:58, 4 April 2012 diff hist +191 Summary of B Syntax →Logical predicates:

19:0619:06, 3 April 2012 diff hist +356 Summary of B Syntax →Booleans:
12:2012:20, 3 April 2012 diff hist +2 Recursively Defined Functions No edit summary
06:1406:14, 3 April 2012 diff hist +189 Recursively Defined Functions No edit summary
05:4505:45, 3 April 2012 diff hist −1 Recursively Defined Functions No edit summary
05:4505:45, 3 April 2012 diff hist +706 Recursively Defined Functions No edit summary

14:4814:48, 2 April 2012 diff hist +289 Recursively Defined Functions →Recursive Function Definitions in ProB
09:1209:12, 2 April 2012 diff hist +2 External Functions →Standard Libraries provided by ProB
09:1109:11, 2 April 2012 diff hist +34 External Functions →Overview of the External Function DEFINITION Mechanism
09:0209:02, 2 April 2012 diff hist +129 External Functions →Standard Libraries provided by ProB
09:0109:01, 2 April 2012 diff hist +66 External Functions →Overview of the External Function DEFINITION mechanism
08:5508:55, 2 April 2012 diff hist +1 External Functions →Overview of the External Function DEFINITION mechanism
08:5408:54, 2 April 2012 diff hist +602 External Functions No edit summary
08:5008:50, 2 April 2012 diff hist +531 External Functions No edit summary
08:4608:46, 2 April 2012 diff hist +364 External Functions No edit summary
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

User contributions for Michael Leuschel

11 June 2012

3 June 2012

17 May 2012

3 May 2012

23 April 2012

10 April 2012

4 April 2012

3 April 2012

2 April 2012

31 March 2012

30 March 2012

23 March 2012

17 March 2012