User contributions for Michael Leuschel

7 March 2024

• 14:5314:53, 7 March 2024 diff hist +1‎ The ProB Animator and Model Checker ‎ →‎Features
• 14:5214:52, 7 March 2024 diff hist −1‎ The ProB Animator and Model Checker ‎ →‎Features
• 14:5014:50, 7 March 2024 diff hist 0‎ The ProB Animator and Model Checker ‎ →‎Features
• 14:5014:50, 7 March 2024 diff hist +7‎ The ProB Animator and Model Checker ‎ →‎Features
• 14:4814:48, 7 March 2024 diff hist +1‎ The ProB Animator and Model Checker ‎No edit summary
• 14:4614:46, 7 March 2024 diff hist 0‎ N File:ProBAtAGlance.png ‎No edit summary current
• 14:4614:46, 7 March 2024 diff hist +33‎ The ProB Animator and Model Checker ‎ →‎Implementation

4 March 2024

• 12:0312:03, 4 March 2024 diff hist −1‎ Editors for ProB ‎ →‎Atom current
• 12:0212:02, 4 March 2024 diff hist +115‎ Editors for ProB ‎ →‎Atom

23 February 2024

• 14:1814:18, 23 February 2024 diff hist −18‎ Download ‎ →‎Latest Release
• 10:2410:24, 23 February 2024 diff hist +110‎ Download ‎ →‎Latest Release
• 10:0710:07, 23 February 2024 diff hist +93‎ External Functions ‎ →‎Standard Libraries provided by ProB
• 10:0510:05, 23 February 2024 diff hist +38‎ Download ‎ →‎Short Release History
• 10:0510:05, 23 February 2024 diff hist +38‎ The ProB Animator and Model Checker ‎No edit summary
• 10:0410:04, 23 February 2024 diff hist +207‎ The ProB Animator and Model Checker ‎No edit summary
• 10:0210:02, 23 February 2024 diff hist 0‎ Using ProB with Atelier B ‎ →‎Extra Features of ProB current
• 10:0010:00, 23 February 2024 diff hist −2‎ Using ProB with Atelier B ‎ →‎Extra Features of ProB
• 09:5909:59, 23 February 2024 diff hist +6‎ Using ProB with Atelier B ‎ →‎Extra Features of ProB
• 09:5909:59, 23 February 2024 diff hist +18‎ Using ProB with Atelier B ‎ →‎Extra Features of ProB
• 09:5809:58, 23 February 2024 diff hist +76‎ Using ProB with Atelier B ‎ →‎Extra Features of ProB
• 09:5709:57, 23 February 2024 diff hist +80‎ Summary of B Syntax ‎ →‎Differences with AtelierB/B4Free
• 09:5609:56, 23 February 2024 diff hist +92‎ Summary of B Syntax ‎ →‎Strings:
• 09:5309:53, 23 February 2024 diff hist +290‎ Download ‎ →‎Short Release History
• 09:4709:47, 23 February 2024 diff hist 0‎ Download ‎ →‎Java Requirements for B parser
• 09:4709:47, 23 February 2024 diff hist −109‎ Download ‎ →‎Latest Release

22 February 2024

• 14:3414:34, 22 February 2024 diff hist +3,383‎ ProB Release History ‎No edit summary current
• 14:3314:33, 22 February 2024 diff hist +194‎ DownloadPriorVersions ‎No edit summary
• 14:3214:32, 22 February 2024 diff hist +1,491‎ DownloadPriorVersions ‎No edit summary

15 January 2024

• 12:1712:17, 15 January 2024 diff hist +209‎ Running ProB from source ‎ →‎Starting ProB Tcl/Tk current
• 12:1412:14, 15 January 2024 diff hist 0‎ Download ‎ →‎Tcl/Tk from Homebrew or MacPorts
• 12:1412:14, 15 January 2024 diff hist +2‎ Download ‎ →‎Tcl/Tk on macOS

8 January 2024

• 12:2212:22, 8 January 2024 diff hist +124‎ Induction Proofs in B ‎ →‎Rodin Archive current
• 09:2509:25, 8 January 2024 diff hist 0‎ Custom Graph ‎ →‎Generating Custom Graphs current
• 09:2409:24, 8 January 2024 diff hist −1‎ Custom Graph ‎ →‎Generating Custom Graphs
• 09:2409:24, 8 January 2024 diff hist +434‎ Custom Graph ‎ →‎Generating Custom Graphs
• 09:1809:18, 8 January 2024 diff hist +12‎ Custom Graph ‎ →‎Generating Custom Graphs
• 09:1809:18, 8 January 2024 diff hist −35‎ Custom Graph ‎ →‎Generating Custom Graphs
• 09:1709:17, 8 January 2024 diff hist −13‎ Custom Graph ‎No edit summary
• 09:1709:17, 8 January 2024 diff hist +89‎ Custom Graph ‎ →‎Generating Custom Graphs
• 09:1509:15, 8 January 2024 diff hist +204‎ Custom Graph ‎No edit summary
• 09:1109:11, 8 January 2024 diff hist −10‎ Custom Graph ‎No edit summary
• 09:1009:10, 8 January 2024 diff hist 0‎ N File:IceCream Generic.png ‎No edit summary current
• 09:0809:08, 8 January 2024 diff hist +45‎ Custom Graph ‎No edit summary
• 09:0809:08, 8 January 2024 diff hist 0‎ Custom Graph ‎No edit summary
• 09:0609:06, 8 January 2024 diff hist −30‎ Custom Graph ‎No edit summary
• 09:0609:06, 8 January 2024 diff hist +44‎ Custom Graph ‎No edit summary
• 08:0408:04, 8 January 2024 diff hist 0‎ N File:IceCream Generic.pdf ‎No edit summary current

6 January 2024

• 16:5616:56, 6 January 2024 diff hist +175‎ Custom Graph ‎No edit summary
• 16:5516:55, 6 January 2024 diff hist +44‎ Custom Graph ‎No edit summary
• 16:5316:53, 6 January 2024 diff hist +35‎ Argumentation Theory ‎ →‎Influencing the Graphical Rendering current