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

12:3912:39, 5 March 2020 diff hist 0 N File:Prob show specialized invariants result.png No edit summary current
12:3812:38, 5 March 2020 diff hist 0 N File:Prob show specialized invariants menu.png No edit summary current
12:3812:38, 5 March 2020 diff hist +557 Rodin POs and ProB No edit summary
11:2911:29, 5 March 2020 diff hist +19 Rodin POs and ProB No edit summary
10:3010:30, 5 March 2020 diff hist +365 Rodin POs and ProB No edit summary
10:2710:27, 5 March 2020 diff hist +1,326 Rodin POs and ProB No edit summary
10:2410:24, 5 March 2020 diff hist 0 File:Rodin export pos.png Michael Leuschel uploaded a new version of File:Rodin export pos.png current
10:2410:24, 5 March 2020 diff hist 0 N File:Rodin export pos.png No edit summary
10:2310:23, 5 March 2020 diff hist +77 Rodin POs and ProB No edit summary
10:2110:21, 5 March 2020 diff hist +3 Rodin POs and ProB No edit summary
10:2010:20, 5 March 2020 diff hist +582 N Rodin POs and ProB Created page with " What is the relationship between Rodin proof obligations (POs) and ProB. == ProB Prover Disprover == ProB can be applied to individual POs by clicking the ProB button in th..."
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

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