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.

10:1510:15, 5 March 2020 diff hist +71 ProB for Event-B No edit summary
09:1009:10, 5 March 2020 diff hist +21 The ProB Animator and Model Checker No edit summary
09:0809:08, 5 March 2020 diff hist +1 The ProB Animator and Model Checker →Versions of ProB
09:0709:07, 5 March 2020 diff hist −1 The ProB Animator and Model Checker →Versions of ProB

14:0514:05, 4 March 2020 diff hist +3 Links →Tools using ProB

12:1112:11, 3 March 2020 diff hist −101 Download →Latest Release
12:0912:09, 3 March 2020 diff hist +118 Download →Latest Release
10:1710:17, 3 March 2020 diff hist −20 Download →Nightly Builds
09:0309:03, 3 March 2020 diff hist +96 Download →Nightly Builds
09:0209:02, 3 March 2020 diff hist +389 Download →Nightly Builds

16:0916:09, 19 February 2020 diff hist +86 The ProB Animator and Model Checker No edit summary
16:0916:09, 19 February 2020 diff hist +141 Download →Short Release History
14:4314:43, 19 February 2020 diff hist +55 The ProB Animator and Model Checker No edit summary
14:4014:40, 19 February 2020 diff hist +73 ProB Release History No edit summary
14:4014:40, 19 February 2020 diff hist +1,809 ProB Release History No edit summary
14:3914:39, 19 February 2020 diff hist −5 Download No edit summary
14:3714:37, 19 February 2020 diff hist +1,796 DownloadPriorVersions →Prior Versions of ProB

12:1012:10, 18 February 2020 diff hist −4 Download →Latest Beta Release
07:0507:05, 18 February 2020 diff hist +114 Running ProB from source →Source Code
07:0407:04, 18 February 2020 diff hist +146 Running ProB from source →Source Code
07:0307:03, 18 February 2020 diff hist 0 Running ProB from source →Source Code
07:0307:03, 18 February 2020 diff hist +4 Running ProB from source →Source Code
07:0207:02, 18 February 2020 diff hist +847 Running ProB from source No edit summary
07:0007:00, 18 February 2020 diff hist +10 Download →Sourcecode

08:2408:24, 14 February 2020 diff hist −22 Download →ProB2 UI using Java FX

14:5214:52, 11 February 2020 diff hist 0 Debugging No edit summary
14:4714:47, 11 February 2020 diff hist +367 Debugging →Debugging with LibraryIO
14:4014:40, 11 February 2020 diff hist +1,179 Debugging No edit summary
14:3614:36, 11 February 2020 diff hist +2,295 Debugging →Debugging Constants Setup
14:2414:24, 11 February 2020 diff hist +706 Debugging →Debugging with LibraryIO
14:2014:20, 11 February 2020 diff hist +551 Debugging →Debugging with LibraryIO
14:1814:18, 11 February 2020 diff hist −12 Debugging →Debugging with LibraryIO
14:1814:18, 11 February 2020 diff hist +1,375 N Debugging Created page with "Category:User Manual Category: Advanced Feature There are various ways in which you can debug your model. We focus here on debugging performance issues == Debugging..."
14:0714:07, 11 February 2020 diff hist +16 Template:User Manual Index No edit summary
13:5013:50, 11 February 2020 diff hist +105 Download →ProB2 UI using Java FX

15:2115:21, 7 February 2020 diff hist +86 The ProB Animator and Model Checker No edit summary
12:4912:49, 7 February 2020 diff hist +26 ProB2-UI No edit summary
12:4912:49, 7 February 2020 diff hist +30 Download →ProB2 UI using Java FX
12:0212:02, 7 February 2020 diff hist +52 Download →ProB2 UI using Java FX
11:5711:57, 7 February 2020 diff hist +12 Download →ProB2 UI using Java FX
11:5411:54, 7 February 2020 diff hist +80 Download →ProB2 UI using Java FX
11:5411:54, 7 February 2020 diff hist +81 ProB2-UI No edit summary
11:5011:50, 7 February 2020 diff hist +364 Download →ProB2 UI using Java FX
11:4911:49, 7 February 2020 diff hist +138 ProB2-UI No edit summary
11:4811:48, 7 February 2020 diff hist +167 ProB2-UI No edit summary

09:1409:14, 4 February 2020 diff hist +81 Links →Papers
08:2908:29, 4 February 2020 diff hist 0 Download →Latest Beta Release

12:0312:03, 28 January 2020 diff hist +8 Links →Tools using ProB

11:4911:49, 20 January 2020 diff hist 0 Download →Latest Beta Release

12:1712:17, 17 January 2020 diff hist −99 Links →Related Tools

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