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

16:5016:50, 27 January 2021 diff hist 0 ProBLicence →ProB Licence
16:3716:37, 27 January 2021 diff hist −12 Using ProB with KODKOD No edit summary current
16:3316:33, 27 January 2021 diff hist −10 Peaceable Armies of Queens No edit summary current
16:3116:31, 27 January 2021 diff hist −5 Alloy No edit summary
16:3016:30, 27 January 2021 diff hist −1 Download →Latest Release
16:2916:29, 27 January 2021 diff hist −64 Download →Latest Release
16:2716:27, 27 January 2021 diff hist +63 Tutorial No edit summary
14:2914:29, 27 January 2021 diff hist +21 The ProB Animator and Model Checker →Versions of ProB
14:2814:28, 27 January 2021 diff hist +11 The ProB Animator and Model Checker →Versions of ProB
14:2214:22, 27 January 2021 diff hist −43 ProB2-UI No edit summary
14:2014:20, 27 January 2021 diff hist +1 VisB →Installing VisB Plugin for older ProB2UI versions
14:2014:20, 27 January 2021 diff hist 0 ProB2-UI Release History No edit summary
14:1914:19, 27 January 2021 diff hist +3 Download →ProB2 UI using Java FX
14:0514:05, 27 January 2021 diff hist +2 Download →ProB2 UI using Java FX
14:0514:05, 27 January 2021 diff hist +9 Download →ProB2 UI using Java FX
14:0314:03, 27 January 2021 diff hist 0 Download →ProB2 UI using Java FX
14:0314:03, 27 January 2021 diff hist +91 Download →ProB2 UI using Java FX
14:0214:02, 27 January 2021 diff hist +92 ProB2-UI No edit summary
14:0114:01, 27 January 2021 diff hist +85 ProB2-UI No edit summary
14:0014:00, 27 January 2021 diff hist +20 ProB2-UI Release History →Version 1.0.0
13:5713:57, 27 January 2021 diff hist 0 ProB2-UI Release History No edit summary
13:5613:56, 27 January 2021 diff hist +9 ProB2-UI No edit summary
13:5413:54, 27 January 2021 diff hist +37 N ReleaseHistory Michael Leuschel moved page ReleaseHistory to ProB2UI Release History: missing ProB2UI current Tag: New redirect
13:5413:54, 27 January 2021 diff hist 0 m ProB2-UI Release History Michael Leuschel moved page ReleaseHistory to ProB2UI Release History: missing ProB2UI
13:5213:52, 27 January 2021 diff hist −2 ProB2-UI Release History No edit summary
13:5213:52, 27 January 2021 diff hist −4 ProB2-UI Release History No edit summary
13:5213:52, 27 January 2021 diff hist +201 ProB2-UI Release History No edit summary
13:5013:50, 27 January 2021 diff hist −3 ProB2-UI Release History →Version 1.1.0 (26th of January 2021)
13:5013:50, 27 January 2021 diff hist +4 ProB2-UI Release History No edit summary
13:4913:49, 27 January 2021 diff hist +1,341 N ProB2-UI Release History Created page with " ## Version 1.1.0 (26th of January 2021) ## - now contains VisB directly in the application, VisB has been extended considerably now supporting hovers, more attributes,..."
13:4813:48, 27 January 2021 diff hist +49 ProB2-UI No edit summary
13:1313:13, 27 January 2021 diff hist −1 Links →Related Tools
13:1213:12, 27 January 2021 diff hist −1 Links →Related Tools
13:1213:12, 27 January 2021 diff hist +20 Links →Related Tools

18:1218:12, 26 January 2021 diff hist +107 Bugs No edit summary
16:0516:05, 26 January 2021 diff hist +24 Download →ProB2 UI using Java FX
14:5114:51, 26 January 2021 diff hist +2 Download →ProB2 UI using Java FX
14:3214:32, 26 January 2021 diff hist +106 Download →ProB2 UI using Java FX
14:2814:28, 26 January 2021 diff hist −26 Download →ProB2 UI using Java FX
13:5713:57, 26 January 2021 diff hist −37 Links No edit summary
13:5513:55, 26 January 2021 diff hist −8 Download →Sourcecode
13:5013:50, 26 January 2021 diff hist +16 Bugs No edit summary
13:4613:46, 26 January 2021 diff hist −75 User Manual No edit summary
13:4413:44, 26 January 2021 diff hist −37 TLA No edit summary
11:5211:52, 26 January 2021 diff hist −124 Download →ProB2 UI using Java FX
11:1811:18, 26 January 2021 diff hist +24 ProB2-UI No edit summary
11:1711:17, 26 January 2021 diff hist −33 ProB2-UI No edit summary
11:1511:15, 26 January 2021 diff hist +149 ProB2-UI No edit summary
11:0611:06, 26 January 2021 diff hist −1 Download →ProB2 UI using Java FX
11:0611:06, 26 January 2021 diff hist −3 Download →ProB2 UI using Java FX

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