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.

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
12:1512:15, 17 January 2020 diff hist +10 Links →Related Tools
10:2310:23, 17 January 2020 diff hist +115 VisB No edit summary

11:1711:17, 7 January 2020 diff hist +2 Test Case Generation →From the command line
11:1611:16, 7 January 2020 diff hist 0 Download →ProB2 UI using Java FX

10:1610:16, 31 December 2019 diff hist 0 Download →Latest Beta Release

09:1309:13, 4 December 2019 diff hist +154 Download →Tcl/Tk on Mac OS/X

09:0609:06, 2 December 2019 diff hist −15 Links →Tools using ProB
09:0509:05, 2 December 2019 diff hist +253 Links →Tools using ProB

15:4215:42, 26 November 2019 diff hist −1 Download →ProB2 UI using Java FX
15:4215:42, 26 November 2019 diff hist +136 Download →ProB2 UI using Java FX
15:4115:41, 26 November 2019 diff hist +95 Download →Java Requirements for B parser

12:4612:46, 25 November 2019 diff hist 0 Download →Latest Beta Release

19:1519:15, 11 November 2019 diff hist +78 Download →Short Release History
19:1419:14, 11 November 2019 diff hist +1 The ProB Animator and Model Checker No edit summary
19:1419:14, 11 November 2019 diff hist 0 The ProB Animator and Model Checker No edit summary
19:1319:13, 11 November 2019 diff hist +3 Download →Latest Release
19:1219:12, 11 November 2019 diff hist +1,792 DownloadPriorVersions →Prior Versions of ProB

11:3511:35, 8 November 2019 diff hist +55 The ProB Animator and Model Checker No edit summary
11:3411:34, 8 November 2019 diff hist +76 Download →Short Release History
11:3211:32, 8 November 2019 diff hist +599 ProB Release History No edit summary
11:3111:31, 8 November 2019 diff hist 0 Download →Latest Release

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