User contributions for Michael Leuschel

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
• 13:3413:34, 5 April 2023 diff hist −17‎ Download ‎ →‎Latest Release
• 13:3313:33, 5 April 2023 diff hist +9‎ Download ‎No edit summary
• 13:3213:32, 5 April 2023 diff hist 0‎ Download ‎ →‎ProB for Rodin
• 13:3113:31, 5 April 2023 diff hist −2‎ Download ‎ →‎ProB for Rodin
• 13:3013:30, 5 April 2023 diff hist +4‎ Download ‎ →‎Latest Release
• 13:3013:30, 5 April 2023 diff hist +18‎ Download ‎ →‎Latest Release
• 13:2913:29, 5 April 2023 diff hist +72‎ Download ‎ →‎Latest Release
• 13:2713:27, 5 April 2023 diff hist −494‎ Download ‎No edit summary
• 13:1713:17, 5 April 2023 diff hist −1‎ Download ‎ →‎Tcl/Tk on macOS
• 13:1613:16, 5 April 2023 diff hist +23‎ Download ‎ →‎Tcl/Tk on macOS
• 13:1613:16, 5 April 2023 diff hist +11‎ Download ‎ →‎Tcl/Tk on macOS
• 11:3911:39, 5 April 2023 diff hist −1‎ Download ‎ →‎Latest Release
• 11:3911:39, 5 April 2023 diff hist −1‎ Download ‎ →‎Latest Release
• 11:3811:38, 5 April 2023 diff hist +141‎ Download ‎ →‎Latest Release
• 07:3207:32, 5 April 2023 diff hist +1,504‎ DownloadPriorVersions ‎No edit summary

22 March 2023

• 13:0313:03, 22 March 2023 diff hist +665‎ Using ProB with Atelier B ‎ →‎Differences
• 12:5412:54, 22 March 2023 diff hist +2‎ Using ProB with Atelier B ‎ →‎Extra Features of ProB
• 12:5312:53, 22 March 2023 diff hist +164‎ Using ProB with Atelier B ‎ →‎Extra Features of ProB
• 12:5112:51, 22 March 2023 diff hist +92‎ Using ProB with Atelier B ‎ →‎Extra Features of ProB
• 12:4612:46, 22 March 2023 diff hist +8‎ Using ProB with Atelier B ‎No edit summary
• 12:4512:45, 22 March 2023 diff hist −9‎ Using ProB with Atelier B ‎No edit summary

4 March 2023

• 14:2414:24, 4 March 2023 diff hist +33‎ LTL Model Checking ‎ →‎LTL Preferences current
• 14:2114:21, 4 March 2023 diff hist −11‎ LTL Model Checking ‎ →‎Safety Properties
• 14:2014:20, 4 March 2023 diff hist −6‎ LTL Model Checking ‎ →‎Safety Properties
• 14:2014:20, 4 March 2023 diff hist +1,156‎ LTL Model Checking ‎ →‎Setting Fairness Constraints
• 14:1914:19, 4 March 2023 diff hist +584‎ LTL Model Checking ‎ →‎Supported Syntax

15 February 2023

• 16:3116:31, 15 February 2023 diff hist +5‎ Links ‎ →‎Books and Resources on B
• 16:2916:29, 15 February 2023 diff hist +115‎ Links ‎ →‎Books
• 16:2716:27, 15 February 2023 diff hist +155‎ Links ‎ →‎Books
• 16:2416:24, 15 February 2023 diff hist +81‎ Links ‎ →‎Books

24 January 2023

• 08:2708:27, 24 January 2023 diff hist +86‎ VisB ‎ →‎Using the VisB exported HTML file