User contributions for Michael Leuschel

26 October 2023

• 13:3213:32, 26 October 2023 diff hist +17‎ Download ‎ →‎ProB2-UI

11 August 2023

• 09:0709:07, 11 August 2023 diff hist +105‎ Download ‎ →‎Short Release History
• 06:4906:49, 11 August 2023 diff hist +104‎ The ProB Animator and Model Checker ‎No edit summary
• 06:4706:47, 11 August 2023 diff hist +2,816‎ ProB Release History ‎No edit summary
• 05:5405:54, 11 August 2023 diff hist 0‎ Download ‎ →‎Latest Release

10 August 2023

• 16:4116:41, 10 August 2023 diff hist +1,528‎ DownloadPriorVersions ‎No edit summary

8 August 2023

• 08:0308:03, 8 August 2023 diff hist 0‎ Links ‎ →‎Testimonials
• 08:0308:03, 8 August 2023 diff hist +556‎ Links ‎ →‎Testimonials

4 August 2023

• 07:4007:40, 4 August 2023 diff hist +307‎ Download ‎ →‎Graphviz Requirements
• 06:0606:06, 4 August 2023 diff hist +231‎ Download ‎ →‎Tcl/Tk on macOS

31 July 2023

• 07:3507:35, 31 July 2023 diff hist +265‎ VisB ‎ →‎VisB DEFINITIONS
• 07:3307:33, 31 July 2023 diff hist +82‎ VisB ‎ →‎VisB DEFINITIONS

29 July 2023

• 07:2007:20, 29 July 2023 diff hist +201‎ VisB ‎ →‎Examples

13 July 2023

• 17:2717:27, 13 July 2023 diff hist +81‎ VisB ‎ →‎VisB DEFINITIONS
• 17:2317:23, 13 July 2023 diff hist +73‎ VisB ‎No edit summary

3 July 2023

• 10:3810:38, 3 July 2023 diff hist +336‎ VisB ‎ →‎Items and Events
• 10:3410:34, 3 July 2023 diff hist +213‎ VisB ‎ →‎Items and Events

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