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

09:3809:38, 2 October 2017 diff hist −34 Tips: B Idioms No edit summary current
09:3709:37, 2 October 2017 diff hist +20 The ProB Animator and Model Checker No edit summary
09:3509:35, 2 October 2017 diff hist +1 The ProB Animator and Model Checker No edit summary
09:3509:35, 2 October 2017 diff hist +12 The ProB Animator and Model Checker No edit summary

08:3308:33, 30 September 2017 diff hist −10 The ProB Animator and Model Checker No edit summary
08:2408:24, 30 September 2017 diff hist −53 The ProB Animator and Model Checker No edit summary
08:2308:23, 30 September 2017 diff hist +3 The ProB Animator and Model Checker No edit summary
08:2208:22, 30 September 2017 diff hist +38 The ProB Animator and Model Checker No edit summary
08:1008:10, 30 September 2017 diff hist +95 The ProB Animator and Model Checker →Implementation
08:0708:07, 30 September 2017 diff hist −161 The ProB Animator and Model Checker →Features
08:0108:01, 30 September 2017 diff hist −88 The ProB Animator and Model Checker No edit summary
07:5907:59, 30 September 2017 diff hist −38 The ProB Animator and Model Checker No edit summary
07:5807:58, 30 September 2017 diff hist −402 The ProB Animator and Model Checker No edit summary
07:5707:57, 30 September 2017 diff hist +479 Team No edit summary

08:0708:07, 6 September 2017 diff hist 0 ProB2-UI →The ProB2 JavaFX Main Window
08:0708:07, 6 September 2017 diff hist +6 ProB2-UI →The ProB2 JavaFX Main Window
08:0508:05, 6 September 2017 diff hist 0 N File:ProB2JavaFX UI Overview.png No edit summary current
08:0508:05, 6 September 2017 diff hist −2 ProB2-UI →The ProB2 JavaFX Main Window
08:0408:04, 6 September 2017 diff hist +1,263 N ProB2-UI Created page with "== The ProB2 JavaFX Main Window == By default the main window is split into three vertical panes (see below). * In the left pane, the Operations view , showing the operatio..."
07:5807:58, 6 September 2017 diff hist +50 Template:User Manual Index No edit summary

14:4014:40, 26 July 2017 diff hist +5 Using ProB with KODKOD No edit summary

07:0707:07, 12 July 2017 diff hist −3 The ProB Animator and Model Checker No edit summary

13:5513:55, 11 July 2017 diff hist −26 The ProB Animator and Model Checker No edit summary
13:5413:54, 11 July 2017 diff hist −16 The ProB Animator and Model Checker No edit summary
13:5413:54, 11 July 2017 diff hist +127 The ProB Animator and Model Checker No edit summary
13:5213:52, 11 July 2017 diff hist +249 Download →Short Release History
13:5013:50, 11 July 2017 diff hist +64 ProB Release History No edit summary
13:4813:48, 11 July 2017 diff hist +1,327 ProB Release History No edit summary
13:3713:37, 11 July 2017 diff hist −3 Download →Latest Release
13:3513:35, 11 July 2017 diff hist +1,667 DownloadPriorVersions →Prior Versions of ProB

09:1609:16, 6 July 2017 diff hist 0 Using ProB with KODKOD →More details
09:1609:16, 6 July 2017 diff hist +143 Using ProB with KODKOD →More details
09:1109:11, 6 July 2017 diff hist +77 Using ProB with KODKOD →More details

11:5111:51, 24 May 2017 diff hist +185 LTL Model Checking →LTL Preferences
11:4911:49, 24 May 2017 diff hist +225 LTL Model Checking →LTL Preferences

16:4516:45, 18 May 2017 diff hist +164 FAQ →How can I reduce the memory consumption for model-checking current
16:4316:43, 18 May 2017 diff hist +975 FAQ →Can I use transitive closure for Event-B models

12:2612:26, 24 March 2017 diff hist +97 Links →Related Tools

11:2311:23, 9 March 2017 diff hist +69 Summary of B Syntax →Strings:
08:5308:53, 9 March 2017 diff hist +2 Summary of B Syntax →Strings:
08:5208:52, 9 March 2017 diff hist +14 Summary of B Syntax →Strings:
08:5208:52, 9 March 2017 diff hist +19 Summary of B Syntax →Strings:
08:5108:51, 9 March 2017 diff hist −2 Summary of B Syntax →Strings:
08:5108:51, 9 March 2017 diff hist −8 Summary of B Syntax →Strings:
08:5008:50, 9 March 2017 diff hist +417 Summary of B Syntax →Strings:

15:0815:08, 2 March 2017 diff hist +84 Summary of B Syntax →Differences with AtelierB/B4Free
15:0815:08, 2 March 2017 diff hist +128 Summary of B Syntax →Strings:

16:3416:34, 10 February 2017 diff hist +1 SEND-MORE-MONEY No edit summary current

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