User contributions for Michael Leuschel - ProB Documentation

Navigation
Special Pages
- Recent changes

User
- Log in

User contributions for Michael Leuschel

Results for Michael Leuschel talk block log uploads logs

A user with 3,313 edits. Account created on 18 January 2010.

08:4808:48, 28 September 2011 diff hist +165 Why Prolog? →Why SICStus Prolog

09:2109:21, 25 September 2011 diff hist +238 Using the Command-Line Version of ProB →-mc

14:3314:33, 21 September 2011 diff hist −17 Download →Nightly Build
14:3114:31, 21 September 2011 diff hist +29 Download →Nightly Build
14:1314:13, 21 September 2011 diff hist +34 Download →Nightly Build
14:1214:12, 21 September 2011 diff hist +55 Download →Nightly Build

12:4912:49, 20 September 2011 diff hist +187 Using the Command-Line Version of ProB →-animate
12:3812:38, 20 September 2011 diff hist −24 Download →Nightly Build

15:3615:36, 15 September 2011 diff hist +160 Using the Command-Line Version of ProB →-assertions
15:3515:35, 15 September 2011 diff hist +373 Using the Command-Line Version of ProB →-assertions

14:5414:54, 13 September 2011 diff hist −1 Download →Nightly Build
14:5314:53, 13 September 2011 diff hist +336 Download →Nightly Build

17:1117:11, 8 September 2011 diff hist +222 Symmetry Reduction No edit summary

13:2113:21, 1 September 2011 diff hist +50 Download →Latest Release
10:1510:15, 1 September 2011 diff hist +151 Download →Latest Release

07:3207:32, 30 July 2011 diff hist +87 Using the Command-Line Version of ProB No edit summary

12:2012:20, 29 July 2011 diff hist +5 Using the Command-Line Version of ProB →-sptxt
08:5508:55, 29 July 2011 diff hist +187 Using the Command-Line Version of ProB →-dot_output

06:5606:56, 27 July 2011 diff hist +167 Tutorial Understanding ProB's Constraint Solver →Complicating the Example current

15:3615:36, 25 July 2011 diff hist +497 Tutorial Debugging Well-Definedness and Transition Errors No edit summary
15:3315:33, 25 July 2011 diff hist 0 Tutorial Debugging Well-Definedness and Transition Errors No edit summary
15:3215:32, 25 July 2011 diff hist 0 File:ProB While INV Violation.png uploaded a new version of "File:ProB While INV Violation.png"
15:3115:31, 25 July 2011 diff hist 0 File:ProB While INV Violation.png uploaded a new version of "File:ProB While INV Violation.png"
15:3115:31, 25 July 2011 diff hist 0 File:ProB While INV Violation.png uploaded a new version of "File:ProB While INV Violation.png"
15:3015:30, 25 July 2011 diff hist 0 N File:ProB While INV Violation.png No edit summary
15:3015:30, 25 July 2011 diff hist 0 N File:ProB WhileAfterErrClick.png No edit summary current
15:2915:29, 25 July 2011 diff hist 0 N File:ProB WhileAfterLoad.png No edit summary
15:2915:29, 25 July 2011 diff hist +1,427 N Tutorial Debugging Well-Definedness and Transition Errors Created page with 'Category:Tutorial Category:User Manual We assume that you have grasped the way that ProB setups up the initial states of a B machine as outlined in [[Tutorial Setup Phas…'
15:2515:25, 25 July 2011 diff hist +1 Tutorial No edit summary
15:2415:24, 25 July 2011 diff hist +63 Tutorial No edit summary

11:4111:41, 20 July 2011 diff hist +73 Current Limitations No edit summary
11:3511:35, 20 July 2011 diff hist −160 Current Limitations No edit summary

10:1310:13, 19 July 2011 diff hist +558 Using the Command-Line Version of ProB No edit summary
07:1507:15, 19 July 2011 diff hist +350 Using the Command-Line Version of ProB No edit summary
07:1107:11, 19 July 2011 diff hist +751 Using the Command-Line Version of ProB No edit summary

16:2516:25, 14 July 2011 diff hist +561 Using the Command-Line Version of ProB →Options

11:4011:40, 29 June 2011 diff hist +454 Using the Command-Line Version of ProB No edit summary
11:2911:29, 29 June 2011 diff hist +135 Using the Command-Line Version of ProB →-i
11:2911:29, 29 June 2011 diff hist +15 Using the Command-Line Version of ProB →-det_check
11:1811:18, 29 June 2011 diff hist +518 Using the Command-Line Version of ProB No edit summary
11:0011:00, 29 June 2011 diff hist +330 Using the Command-Line Version of ProB No edit summary

08:4708:47, 27 June 2011 diff hist +86 Links →Tools
08:4608:46, 27 June 2011 diff hist +43 Links →Tools

Retrieved from "https://prob.hhu.de/w/index.php?title=Special:Contributions/Michael_Leuschel"