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

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

07:3007:30, 5 April 2016 diff hist +98 Tutorial Directed Model Checking No edit summary
07:2907:29, 5 April 2016 diff hist +385 Blocks World (Directed Model Checking) No edit summary

17:4217:42, 29 March 2016 diff hist +37 Using the Command-Line Version of ProB →-disable_timeout
17:3717:37, 29 March 2016 diff hist +415 Using the Command-Line Version of ProB →-no

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