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.

09:3609:36, 28 January 2021 diff hist −114 Download →Latest Release
09:3509:35, 28 January 2021 diff hist +451 Download →Latest Release

17:4317:43, 27 January 2021 diff hist +103 Links →Tools using ProB
17:3417:34, 27 January 2021 diff hist +18 BSynthesis No edit summary
17:3217:32, 27 January 2021 diff hist +3 BSynthesis →Program Synthesis
17:3217:32, 27 January 2021 diff hist −50 BSynthesis →Program Synthesis
17:3117:31, 27 January 2021 diff hist −101 BSynthesis →Program Synthesis
17:3017:30, 27 January 2021 diff hist +3 BSynthesis No edit summary
17:2717:27, 27 January 2021 diff hist +2 BSynthesis No edit summary
17:2717:27, 27 January 2021 diff hist +10,821 N BSynthesis Created page with "= Program Synthesis Program synthesis is the task of generating executable programs from a given specification usually considering a domain specific language. There are many..."
17:2717:27, 27 January 2021 diff hist +2 Developer Manual →ProB Java API (aka ProB 2.0)
17:2717:27, 27 January 2021 diff hist +56 Developer Manual →ProB Java API (aka ProB 2.0)
17:1217:12, 27 January 2021 diff hist −56 Team No edit summary
17:1017:10, 27 January 2021 diff hist −13 Team No edit summary
17:0717:07, 27 January 2021 diff hist +1 Euler Problem 67 - Maximum Path Sum II No edit summary current
17:0217:02, 27 January 2021 diff hist +49 ProB Java API Developer Manual No edit summary current
16:5816:58, 27 January 2021 diff hist +6 Tutorial Various Optimizations No edit summary
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

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