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,321 edits. Account created on 18 January 2010.

11:2511:25, 1 June 2016 diff hist 0 The ProB Animator and Model Checker No edit summary
05:5405:54, 1 June 2016 diff hist +254 Tips: B Idioms →If-Then-Else
05:5005:50, 1 June 2016 diff hist +27 Tips: B Idioms →map

09:3209:32, 27 May 2016 diff hist +27 ABZ16 →Resources

14:0514:05, 9 May 2016 diff hist +49 N Overview.php Redirected page to The ProB Animator and Model Checker current

12:1512:15, 4 May 2016 diff hist +11 ProB Release History No edit summary
12:1412:14, 4 May 2016 diff hist +171 ProB Release History No edit summary
07:4407:44, 4 May 2016 diff hist +147 Download →Java Requirements for B parser

12:1712:17, 27 April 2016 diff hist −1 ABZ14 →ProB Live Visualisations
12:1712:17, 27 April 2016 diff hist −1 ABZ14 →ProB Live Visualisations
08:5508:55, 27 April 2016 diff hist −3 Download →Latest Release
08:5408:54, 27 April 2016 diff hist +6 Download →Latest Release
08:4508:45, 27 April 2016 diff hist −13 Download →Java Requirements for B parser
08:4408:44, 27 April 2016 diff hist +8 Download →Java Requirements for B parser
08:4308:43, 27 April 2016 diff hist −10 Download →Java Requirements for B parser
08:4208:42, 27 April 2016 diff hist +24 Download →Latest Release
08:3908:39, 27 April 2016 diff hist −113 Download →Tcl/Tk on Mac OS/X
08:3808:38, 27 April 2016 diff hist −128 Download →Tcl/Tk on Mac OS/X
08:2608:26, 27 April 2016 diff hist +260 Download →ProB for Rodin
08:2108:21, 27 April 2016 diff hist +23 Download →Latest Release
06:5506:55, 27 April 2016 diff hist +195 Download →Latest Release

07:2907:29, 26 April 2016 diff hist −2 Download →Latest Release

08:1908:19, 23 April 2016 diff hist −267 ProB Release History No edit summary
08:1808:18, 23 April 2016 diff hist +44,067 N ProB Release History Created page with "Full ProB release history until release 1.6.0: <pre> ProB: A B-animator, model checker, and constraint solver -------------------------------------------------------- (C) 20..."
08:1808:18, 23 April 2016 diff hist +79 Download →Short Release History
08:1608:16, 23 April 2016 diff hist +8 The ProB Animator and Model Checker No edit summary
08:1608:16, 23 April 2016 diff hist +352 Download →Short Release History
08:0608:06, 23 April 2016 diff hist −2 The ProB Animator and Model Checker No edit summary
08:0508:05, 23 April 2016 diff hist +1 The ProB Animator and Model Checker No edit summary
08:0408:04, 23 April 2016 diff hist −2 ProBLicence →ProB Licence
08:0408:04, 23 April 2016 diff hist +104 ProBLicence →ProB Licence
08:0208:02, 23 April 2016 diff hist −12 The ProB Animator and Model Checker No edit summary
08:0008:00, 23 April 2016 diff hist +362 The ProB Animator and Model Checker No edit summary
07:5207:52, 23 April 2016 diff hist +36 Download →Latest Release
07:5207:52, 23 April 2016 diff hist +153 The ProB Animator and Model Checker No edit summary
07:4707:47, 23 April 2016 diff hist 0 The ProB Animator and Model Checker No edit summary
07:4607:46, 23 April 2016 diff hist −65 The ProB Animator and Model Checker No edit summary
07:4507:45, 23 April 2016 diff hist +277 The ProB Animator and Model Checker No edit summary
07:4307:43, 23 April 2016 diff hist +67 Summary of B Syntax →Comments and Pragmas
07:4007:40, 23 April 2016 diff hist +127 Summary of B Syntax →Pragmas
07:3607:36, 23 April 2016 diff hist +38 Blocks World (Directed Model Checking) No edit summary
07:3507:35, 23 April 2016 diff hist +1 Tutorial Directed Model Checking →More examples
07:3507:35, 23 April 2016 diff hist +158 Tutorial Directed Model Checking No edit summary
07:2607:26, 23 April 2016 diff hist 0 DownloadPriorVersions →Prior Versions of ProB

08:4108:41, 21 April 2016 diff hist 0 Download →Nightly Build
05:5305:53, 21 April 2016 diff hist +79 Editors for ProB →Atom

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