User contributions for Michael Leuschel

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 current
• 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 current
• 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 current
• 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