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.

09:4809:48, 17 September 2020 diff hist +60 Using ProB with Atelier B →Atelier B Plugin
09:4809:48, 17 September 2020 diff hist +202 Using ProB with Atelier B →Atelier B Plugin
09:4009:40, 17 September 2020 diff hist +288 Using ProB with Atelier B →Atelier B Plugin

07:4507:45, 10 September 2020 diff hist +1 Induction Proofs in B →Induction and B

09:0209:02, 5 September 2020 diff hist −15 The ProB Animator and Model Checker →Versions of ProB
06:5906:59, 5 September 2020 diff hist −18 The ProB Animator and Model Checker →Implementation
06:5806:58, 5 September 2020 diff hist −65 The ProB Animator and Model Checker No edit summary
06:5706:57, 5 September 2020 diff hist −233 The ProB Animator and Model Checker No edit summary
06:5106:51, 5 September 2020 diff hist −200 The ProB Animator and Model Checker No edit summary
06:5006:50, 5 September 2020 diff hist −69 The ProB Animator and Model Checker No edit summary
06:4906:49, 5 September 2020 diff hist −124 The ProB Animator and Model Checker No edit summary

11:3711:37, 21 August 2020 diff hist +9 Download →ProB2 UI using Java FX
10:4810:48, 21 August 2020 diff hist +160 Download →ProB2 UI using Java FX

07:0407:04, 18 July 2020 diff hist 0 Download →Latest Beta Release

09:2309:23, 15 July 2020 diff hist 0 File:Wd prob.pdf Michael Leuschel uploaded a new version of File:Wd prob.pdf current

12:4612:46, 9 July 2020 diff hist 0 File:Wd prob.pdf Michael Leuschel uploaded a new version of File:Wd prob.pdf
12:4112:41, 9 July 2020 diff hist 0 File:Wd prob.pdf Michael Leuschel uploaded a new version of File:Wd prob.pdf
09:2509:25, 9 July 2020 diff hist 0 File:Wd prob.pdf Michael Leuschel uploaded a new version of File:Wd prob.pdf
09:2309:23, 9 July 2020 diff hist 0 N File:Wd prob.pdf No edit summary
09:2309:23, 9 July 2020 diff hist +128 Well-Definedness Checking →Generating and Checking Well-Definedness Proof Obligations in ProB
08:5508:55, 9 July 2020 diff hist −13 Well-Definedness Checking →Generating and Checking Well-Definedness Proof Obligations in ProB

05:1305:13, 7 July 2020 diff hist +116 Well-Definedness Checking →ProB2-UI

14:4214:42, 6 July 2020 diff hist 0 Download →Latest Beta Release

14:5614:56, 3 July 2020 diff hist +14 Developer Manual No edit summary
14:5514:55, 3 July 2020 diff hist 0 Developer Manual No edit summary

08:2008:20, 17 June 2020 diff hist +329 Editors for ProB →External Editors
08:1908:19, 17 June 2020 diff hist +2 Well-Definedness Checking →VSCode
07:4707:47, 17 June 2020 diff hist 0 N File:WD VSCode Example2.png No edit summary current
07:4707:47, 17 June 2020 diff hist 0 N File:WD VSCode Example1.png No edit summary current
07:4607:46, 17 June 2020 diff hist 0 N File:WD VSCode Settings.png No edit summary current
07:4607:46, 17 June 2020 diff hist +372 Well-Definedness Checking No edit summary
07:4207:42, 17 June 2020 diff hist +329 Well-Definedness Checking No edit summary

09:3109:31, 15 June 2020 diff hist +7 Test Case Generation →References
09:3009:30, 15 June 2020 diff hist +73 Test Case Generation →References
09:2709:27, 15 June 2020 diff hist +172 Test Case Generation →References
09:2309:23, 15 June 2020 diff hist +12 Test Case Generation →References
09:2309:23, 15 June 2020 diff hist +543 Test Case Generation No edit summary

10:3110:31, 12 June 2020 diff hist +3,213 LTSmin →ProB LTSmin CLI-Commands

08:0008:00, 10 June 2020 diff hist −1 LTSmin →ProB LTSmin CLI-Commands
08:0008:00, 10 June 2020 diff hist +1,217 LTSmin →ProB LTSmin CLI-Commands
07:5007:50, 10 June 2020 diff hist +58 LTSmin →LTSmin Extension of ProB
07:4707:47, 10 June 2020 diff hist −4 LTSmin →ProB LTSmin CLI-Commands
07:4607:46, 10 June 2020 diff hist +5 LTSmin →ProB LTSmin CLI-Commands
07:4607:46, 10 June 2020 diff hist +8 LTSmin →ProB LTSmin CLI-Commands
07:4607:46, 10 June 2020 diff hist +236 LTSmin →ProB LTSmin CLI-Commands
07:4107:41, 10 June 2020 diff hist +1,025 LTSmin →LTSmin Extension of ProB

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