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.

09:5809:58, 10 March 2015 diff hist +32 Constraint Based Checking No edit summary current
09:5609:56, 10 March 2015 diff hist +82 Constraint Based Checking No edit summary
09:5409:54, 10 March 2015 diff hist +2 Bounded Model Checking No edit summary
09:5309:53, 10 March 2015 diff hist +300 Bounded Model Checking No edit summary

17:0117:01, 4 March 2015 diff hist +356 Using the Command-Line Version of ProB →-cbc_assertions

09:1009:10, 26 February 2015 diff hist +293 BMotion Studio No edit summary

14:3414:34, 19 February 2015 diff hist +16 Download →Tcl/Tk Requirements for ProB Tcl/Tk
14:1414:14, 19 February 2015 diff hist +47 Tutorial Rodin First Step →Installation
14:1414:14, 19 February 2015 diff hist 0 File:RodinInstallNewSoftware.png uploaded a new version of "File:RodinInstallNewSoftware.png" current
14:1314:13, 19 February 2015 diff hist +63 Tutorial Rodin First Step →Installation
14:1114:11, 19 February 2015 diff hist 0 Tutorial Rodin First Step →Installation
14:1114:11, 19 February 2015 diff hist 0 File:RodinInstallNewSoftware.png uploaded a new version of "File:RodinInstallNewSoftware.png"
14:1014:10, 19 February 2015 diff hist 0 N File:ProBRodinUpdateDialog.png No edit summary current
14:0914:09, 19 February 2015 diff hist 0 N File:RodinInstallNewSoftware.png No edit summary
14:0914:09, 19 February 2015 diff hist +422 Tutorial Rodin First Step →Installation
14:0814:08, 19 February 2015 diff hist −38 Download →Latest Release
14:0414:04, 19 February 2015 diff hist +175 Tutorial Rodin First Step →Installation
14:0214:02, 19 February 2015 diff hist −54 Download →Latest Release
14:0114:01, 19 February 2015 diff hist +397 Download →Latest Release
13:5413:54, 19 February 2015 diff hist −791 Download No edit summary
13:5313:53, 19 February 2015 diff hist +105 DownloadPriorVersions No edit summary
13:5013:50, 19 February 2015 diff hist +1 Download →Latest Release
13:4713:47, 19 February 2015 diff hist +31 Download No edit summary
13:4113:41, 19 February 2015 diff hist +196 Download No edit summary
13:3113:31, 19 February 2015 diff hist −32 Download No edit summary
13:2613:26, 19 February 2015 diff hist −781 Download →Tcl/Tk
13:2513:25, 19 February 2015 diff hist +781 DownloadPriorVersions →Prior Versions of ProB
13:2413:24, 19 February 2015 diff hist 0 Download →Nightly Build
12:4012:40, 19 February 2015 diff hist +16 Download →Tcl/Tk
12:2712:27, 19 February 2015 diff hist +61 Download →Latest Release
12:2712:27, 19 February 2015 diff hist +86 Download No edit summary
12:2512:25, 19 February 2015 diff hist +698 Download No edit summary
07:3407:34, 19 February 2015 diff hist +1 ProB Cli No edit summary
07:3407:34, 19 February 2015 diff hist +53 ProB Cli No edit summary
07:3207:32, 19 February 2015 diff hist +88 ProB Cli No edit summary
07:2907:29, 19 February 2015 diff hist +135 ProB Cli No edit summary
07:1107:11, 19 February 2015 diff hist +340 Using the Command-Line Version of ProB →-mc

15:4315:43, 18 February 2015 diff hist +156 Download →Nightly Build
09:5709:57, 18 February 2015 diff hist +1 Bounded Model Checking No edit summary
09:5009:50, 18 February 2015 diff hist +271 Download →Nightly Build

16:4516:45, 12 February 2015 diff hist +242 Download →Nightly Build
16:4316:43, 12 February 2015 diff hist +184 Download No edit summary

18:0418:04, 11 February 2015 diff hist −412 FAQ →What do the funny question marks in the "Operations" pane mean?
18:0318:03, 11 February 2015 diff hist −288 FAQ →The animator seems slow

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