Navigation
Special Pages
- Recent changes

User
- Log in

User contributions for Michael Leuschel

For Michael Leuschel talk block log uploads logs

07:4307:43, 7 May 2021 diff hist +604‎ Links ‎ →‎Testimonials

08:2508:25, 3 May 2021 diff hist 0‎ Editors for ProB ‎ →‎VSCode
08:2508:25, 3 May 2021 diff hist +88‎ Editors for ProB ‎ →‎VSCode

08:5608:56, 24 March 2021 diff hist +29‎ External Functions ‎ →‎Standard Libraries provided by ProB
08:5608:56, 24 March 2021 diff hist +4‎ Reals and Floats ‎No edit summary
08:5508:55, 24 March 2021 diff hist +167‎ External Functions ‎ →‎Standard Libraries provided by ProB
08:5308:53, 24 March 2021 diff hist +704‎ N Reals and Floats ‎ Created page with "ProB now supports the Atelier-B datatypes REAL and FLOAT. You can turn off this support via the preference ALLOW_REALS. Standard arithmetic operators can be applied to reals..."
08:5208:52, 24 March 2021 diff hist +23‎ Template:User Manual Index ‎No edit summary

08:5808:58, 22 March 2021 diff hist 0‎ Prolog Coding Guidelines ‎ →‎General Guidelines current
08:5708:57, 22 March 2021 diff hist +277‎ Prolog Coding Guidelines ‎ →‎General Guidelines

09:3609:36, 19 March 2021 diff hist +174‎ Prolog Coding Guidelines ‎ →‎Git

09:0809:08, 3 March 2021 diff hist 0‎ VisB ‎ →‎VisB
09:0609:06, 3 March 2021 diff hist −2‎ VisB ‎ →‎VisB
09:0609:06, 3 March 2021 diff hist +1‎ VisB ‎ →‎VisB
09:0609:06, 3 March 2021 diff hist 0‎ VisB ‎ →‎VisB
09:0409:04, 3 March 2021 diff hist 0‎ N File:ProB2UI VisB View.png ‎No edit summary current
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

07:3307:33, 13 February 2021 diff hist +2‎ Prolog vs Java Comparison ‎ →‎Sample Querys of the Fact Database current
07:1807:18, 13 February 2021 diff hist +164‎ Prolog vs Java Comparison ‎ →‎Sample Querys of the Fact Database
07:1507:15, 13 February 2021 diff hist +698‎ Prolog vs Java Comparison ‎ →‎Sample Querys of the Fact Database
07:0707:07, 13 February 2021 diff hist +10‎ Prolog vs Java Comparison ‎ →‎Sample Querys of the Fact Database
07:0507:05, 13 February 2021 diff hist −2‎ Prolog vs Java Comparison ‎ →‎Sample Querys of the Fact Database
07:0507:05, 13 February 2021 diff hist +546‎ Prolog vs Java Comparison ‎ →‎Prolog's Fact Database

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

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