User contributions for Michael Leuschel - ProB Documentation

Navigation
Special Pages
- Recent changes

User
- Log in

User contributions for Michael Leuschel

Results for Michael Leuschel talk block log uploads logs

A user with 3,394 edits. Account created on 18 January 2010.

11:0211:02, 23 December 2025 diff hist +319 Using the Command-Line Version of ProB →-t
09:3809:38, 23 December 2025 diff hist −49 The ProB Animator and Model Checker No edit summary
09:3609:36, 23 December 2025 diff hist −211 The ProB Animator and Model Checker No edit summary
09:3509:35, 23 December 2025 diff hist −179 The ProB Animator and Model Checker No edit summary
09:3309:33, 23 December 2025 diff hist +27 Download →Short Release History
09:3209:32, 23 December 2025 diff hist +560 The ProB Animator and Model Checker No edit summary
09:3109:31, 23 December 2025 diff hist +209 VisB →VisB DEFINITIONS current
09:2709:27, 23 December 2025 diff hist +536 Download →Short Release History
09:1509:15, 23 December 2025 diff hist +3 Download →Latest Release

06:0906:09, 22 December 2025 diff hist +2,404 ProB Release History No edit summary current
06:0806:08, 22 December 2025 diff hist +1,480 DownloadPriorVersions No edit summary current

12:2912:29, 17 November 2025 diff hist 0 VisB →Quantification
12:2912:29, 17 November 2025 diff hist −1 VisB →Quantification
12:2812:28, 17 November 2025 diff hist +774 VisB →VisB DEFINITIONS

09:2209:22, 23 October 2025 diff hist −1 Download →Editor Support
09:2209:22, 23 October 2025 diff hist −6 Download →Editor Support
09:2109:21, 23 October 2025 diff hist +48 Download →Editor Support

12:1512:15, 4 September 2025 diff hist +217 LTL Model Checking →Supported Syntax current
12:1212:12, 4 September 2025 diff hist −603 LTL Model Checking No edit summary

07:3707:37, 27 August 2025 diff hist +1,026 ProB Release History No edit summary

10:4410:44, 1 August 2025 diff hist +192 m TLA No edit summary current
08:0208:02, 1 August 2025 diff hist +8 TLA No edit summary
08:0208:02, 1 August 2025 diff hist +1,282 TLA No edit summary

11:4311:43, 27 June 2025 diff hist +47 Download →Latest Beta Release
11:4011:40, 27 June 2025 diff hist +66 Download →Latest Release
11:3811:38, 27 June 2025 diff hist +4 Download →Latest Release
11:3511:35, 27 June 2025 diff hist +2 Download →Latest Release
11:3311:33, 27 June 2025 diff hist 0 DownloadPriorVersions No edit summary
11:3311:33, 27 June 2025 diff hist +1,472 DownloadPriorVersions No edit summary
11:2911:29, 27 June 2025 diff hist +7,968 ProB Release History No edit summary

08:0308:03, 24 June 2025 diff hist 0 Download →ProB for Rodin

15:3915:39, 18 June 2025 diff hist +94 JSON and Sockets →Client-Server Example Machines current
14:2814:28, 18 June 2025 diff hist +102 VisB No edit summary
10:3310:33, 18 June 2025 diff hist +173 Bugs →Console Output current
07:4607:46, 18 June 2025 diff hist +2,235 JSON and Sockets →Client-Server Example Machines
07:4407:44, 18 June 2025 diff hist +3,931 JSON and Sockets →Example Machine

11:1311:13, 17 June 2025 diff hist +100 Bugs →Console Output
11:1011:10, 17 June 2025 diff hist +92 Bugs No edit summary
11:0711:07, 17 June 2025 diff hist −1 Bugs No edit summary
11:0711:07, 17 June 2025 diff hist +53 Bugs No edit summary
11:0611:06, 17 June 2025 diff hist +603 Bugs No edit summary
11:0011:00, 17 June 2025 diff hist +408 Bugs No edit summary

07:2207:22, 12 May 2025 diff hist +215 Other languages No edit summary

13:0113:01, 2 May 2025 diff hist +201 Generating UML Sequence Charts →Specifying the Actors current

13:0513:05, 30 April 2025 diff hist +4,092 Nine Prisoners →Adding graphical visualization current
13:0213:02, 30 April 2025 diff hist 0 Nine Prisoners No edit summary
13:0113:01, 30 April 2025 diff hist +48 Nine Prisoners No edit summary
12:5812:58, 30 April 2025 diff hist −1 m Nine Prisoners No edit summary
12:5812:58, 30 April 2025 diff hist +247 Nine Prisoners No edit summary

14:2214:22, 11 April 2025 diff hist +150 Download →Tcl/Tk from Homebrew or MacPorts

Retrieved from "https://prob.hhu.de/w/index.php?title=Special:Contributions/Michael_Leuschel"