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