User contributions for Michael Leuschel

23 May 2023

• 13:5113:51, 23 May 2023 diff hist +141 Download →ProB2-UI

20 May 2023

• 09:0309:03, 20 May 2023 diff hist +8 VisB →VisB DEFINITIONS
• 09:0209:02, 20 May 2023 diff hist +12 VisB →VisB Definitions
• 09:0109:01, 20 May 2023 diff hist +735 VisB →VisB DEFINITIONS
• 06:1906:19, 20 May 2023 diff hist 0 VisB →VisB DEFINITIONS
• 06:1806:18, 20 May 2023 diff hist −2 VisB →VisB DEFINITIONS
• 06:1806:18, 20 May 2023 diff hist +57 VisB →VisB DEFINITIONS
• 06:1706:17, 20 May 2023 diff hist +275 VisB →VisB DEFINITIONS
• 06:1006:10, 20 May 2023 diff hist +1 VisB →VisB DEFINITIONS
• 06:0906:09, 20 May 2023 diff hist −1 VisB →VisB DEFINITIONS

11 May 2023

• 12:5312:53, 11 May 2023 diff hist +4 Current Limitations No edit summary current

3 May 2023

• 14:1714:17, 3 May 2023 diff hist +1 Download →Latest Release
• 14:1314:13, 3 May 2023 diff hist −138 Download →Latest Release
• 11:2311:23, 3 May 2023 diff hist +2 Download →Latest Release
• 08:3708:37, 3 May 2023 diff hist +163 Tutorial Animation Tips →Using EXTENDS current
• 08:3508:35, 3 May 2023 diff hist +2 Tutorial Animation Tips →Using EXTENDS
• 08:3508:35, 3 May 2023 diff hist +625 Tutorial Animation Tips →Using Trace Replay

2 May 2023

• 13:4213:42, 2 May 2023 diff hist +271 Tutorial Animation Tips →Using Constraint-Based Validation Techniques
• 13:3913:39, 2 May 2023 diff hist +253 Tutorial Animation Tips →Increasing MAX_OPERATIONS or MAX_INITIALISATIONS
• 13:3713:37, 2 May 2023 diff hist +170 Tutorial Animation Tips →Increasing MAX_OPERATIONS
• 13:3513:35, 2 May 2023 diff hist +140 Tutorial Setup Phases →2. SETUP_CONSTANTS current
• 13:3313:33, 2 May 2023 diff hist +28 Tutorial Setup Phases →2. SETUP_CONSTANTS
• 09:0809:08, 2 May 2023 diff hist +45 N Rules-DSL Created page with "== Rules DSL == Domain-Specific Language ..."
• 09:0709:07, 2 May 2023 diff hist +47 Template:User Manual Index No edit summary

30 April 2023

• 07:5307:53, 30 April 2023 diff hist −1 Using ProB with Atelier B →Extra Features of ProB
• 07:5207:52, 30 April 2023 diff hist +447 Using ProB with Atelier B →Extra Features of ProB
• 07:4707:47, 30 April 2023 diff hist +1,561 ProB Release History No edit summary
• 07:4607:46, 30 April 2023 diff hist +1,663 DownloadPriorVersions No edit summary

26 April 2023

• 15:4315:43, 26 April 2023 diff hist +281 Summary of B Syntax →Differences with AtelierB/B4Free
• 15:4215:42, 26 April 2023 diff hist +33 Summary of B Syntax →Differences with AtelierB/B4Free
• 15:4115:41, 26 April 2023 diff hist +970 Summary of B Syntax →Definitions:

6 April 2023

• 12:2712:27, 6 April 2023 diff hist 0 ProBLicence →ProB Licence current
• 11:5411:54, 6 April 2023 diff hist +1,429 VisB →VisB Additional SVG Objects
• 11:4111:41, 6 April 2023 diff hist −1 Download →Short Release History
• 11:4111:41, 6 April 2023 diff hist +88 Download →Short Release History
• 11:4011:40, 6 April 2023 diff hist 0 The ProB Animator and Model Checker No edit summary
• 11:3911:39, 6 April 2023 diff hist +108 The ProB Animator and Model Checker No edit summary
• 11:3511:35, 6 April 2023 diff hist −40 The ProB Animator and Model Checker No edit summary
• 11:3311:33, 6 April 2023 diff hist −183 The ProB Animator and Model Checker No edit summary
• 11:1011:10, 6 April 2023 diff hist −117 The ProB Animator and Model Checker →Implementation
• 11:0911:09, 6 April 2023 diff hist −62 The ProB Animator and Model Checker No edit summary
• 11:0411:04, 6 April 2023 diff hist +192 The ProB Animator and Model Checker No edit summary
• 11:0311:03, 6 April 2023 diff hist 0 Download →Short Release History
• 11:0311:03, 6 April 2023 diff hist +204 Download →Short Release History
• 10:5410:54, 6 April 2023 diff hist +5,918 ProB Release History No edit summary

5 April 2023

• 17:2917:29, 5 April 2023 diff hist −66 Download →Latest Release
• 17:2817:28, 5 April 2023 diff hist +67 Download →Latest Release
• 14:5414:54, 5 April 2023 diff hist −1 Download →Latest Release
• 14:5314:53, 5 April 2023 diff hist +3 Download →Latest Release
• 13:3513:35, 5 April 2023 diff hist −33 Download →Tcl/Tk Requirements for ProB Tcl/Tk