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:0409:04, 3 March 2021 diff hist −11 VisB →VisB
09:0109:01, 3 March 2021 diff hist 0 VisB →VisB
09:0109:01, 3 March 2021 diff hist +7 VisB →VisB
09:0009:00, 3 March 2021 diff hist 0 VisB →VisB
09:0009:00, 3 March 2021 diff hist 0 N File:ProB2JavaFX UI Overview VisB.png No edit summary current
08:5908:59, 3 March 2021 diff hist +50 VisB →VisB

08:5808:58, 17 February 2021 diff hist 0 VisB →VisB
08:5808:58, 17 February 2021 diff hist +396 VisB →VisB
08:5308:53, 17 February 2021 diff hist 0 VisB →VisB
08:4808:48, 17 February 2021 diff hist +196 VisB →VisB Attributes
08:4708:47, 17 February 2021 diff hist +1 VisB →VisB Definitions
08:4608:46, 17 February 2021 diff hist +54 VisB →VisB Definitions
08:4608:46, 17 February 2021 diff hist +2 External Functions →Standard Libraries provided by ProB
08:4308:43, 17 February 2021 diff hist +762 VisB →VisB Examples

15:1115:11, 4 February 2021 diff hist 0 The ProB Animator and Model Checker No edit summary
15:0915:09, 4 February 2021 diff hist +77 ProB for Railways →Hybrid Level 3 current
10:1010:10, 4 February 2021 diff hist +39 Prolog vs Java Comparison No edit summary
10:0910:09, 4 February 2021 diff hist +327 Prolog vs Java Comparison →Prolog's Fact Database
10:0310:03, 4 February 2021 diff hist −1 Prolog vs Java Comparison →Prolog's Fact Database
10:0310:03, 4 February 2021 diff hist +4,433 N Prolog vs Java Comparison Created page with " These are my notes and insights while extending the VisB Java code for new features (optional, ignore, repeat, for attributes, inclusion, and better error reporting) and then..."
09:5809:58, 4 February 2021 diff hist +2 Why Prolog? →Why Prolog current
09:5709:57, 4 February 2021 diff hist +90 Why Prolog? →Why Prolog

12:4212:42, 2 February 2021 diff hist +292 VisB →VisB Tips and Tricks
12:4012:40, 2 February 2021 diff hist +40 VisB →VisB Tips and Tricks
12:4012:40, 2 February 2021 diff hist +146 VisB →VisB Caveats
09:4209:42, 2 February 2021 diff hist +30 The ProB Animator and Model Checker No edit summary
09:4009:40, 2 February 2021 diff hist −2 The ProB Animator and Model Checker No edit summary
09:4009:40, 2 February 2021 diff hist +33 The ProB Animator and Model Checker No edit summary
09:3909:39, 2 February 2021 diff hist +1 VisB →VisB Tips and Tricks
09:3909:39, 2 February 2021 diff hist +223 VisB →VisB Tips and Tricks
09:3609:36, 2 February 2021 diff hist +823 VisB →VisB Tips and Tricks
09:3409:34, 2 February 2021 diff hist −1 VisB →VisB Examples
09:3309:33, 2 February 2021 diff hist +434 VisB →VisB Tips and Tricks
09:2909:29, 2 February 2021 diff hist +970 VisB →VisB Examples
09:2409:24, 2 February 2021 diff hist +2 ProB2-UI Release History →Version 1.1.0 (26th of January 2021)
09:2409:24, 2 February 2021 diff hist +7 ProB2-UI Release History →Version 1.1.0 (26th of January 2021)
09:2309:23, 2 February 2021 diff hist +106 The ProB Animator and Model Checker No edit summary

09:0509:05, 29 January 2021 diff hist +135 Download →Latest Release
08:3508:35, 29 January 2021 diff hist +55 Download →Latest Release
08:3508:35, 29 January 2021 diff hist +146 Download →Latest Release

18:0418:04, 28 January 2021 diff hist −14 State Space Visualization →Preferences of the Visualization
18:0218:02, 28 January 2021 diff hist −85 Team No edit summary
09:3809:38, 28 January 2021 diff hist +72 Summary of B Syntax →Machine header:
09:3609:36, 28 January 2021 diff hist +1 Download →Latest Release

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