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,416 edits. Account created on 18 January 2010.

12:3512:35, 9 February 2026 diff hist +135 Download →ProB2-UI (based on JavaFX)

10:5910:59, 30 January 2026 diff hist −1 Using ProB with Atelier B →Extra Features of ProB current
10:5910:59, 30 January 2026 diff hist +207 Using ProB with Atelier B →Extra Features of ProB
09:5009:50, 30 January 2026 diff hist +96 Using ProB with Atelier B →Extra Features of ProB
09:4909:49, 30 January 2026 diff hist +332 Using ProB with Atelier B →Extra Features of ProB
09:4809:48, 30 January 2026 diff hist +69 Current Limitations No edit summary current
09:4709:47, 30 January 2026 diff hist 0 Current Limitations No edit summary
09:4609:46, 30 January 2026 diff hist +264 Current Limitations No edit summary

15:0515:05, 29 January 2026 diff hist +313 Caching Constants and Operations →Example
15:0315:03, 29 January 2026 diff hist +623 Caching Constants and Operations No edit summary
14:5514:55, 29 January 2026 diff hist +53 Caching Constants and Operations →Inspecting the Cache
14:4814:48, 29 January 2026 diff hist +347 Using the Command-Line Version of ProB →-cache

15:5615:56, 23 December 2025 diff hist +224 Using the Command-Line Version of ProB →-animate
11:1711:17, 23 December 2025 diff hist +698 Using the Command-Line Version of ProB →-rule_report
11:1211:12, 23 December 2025 diff hist +111 Using the Command-Line Version of ProB →-csp-guide
11:1111:11, 23 December 2025 diff hist +56 Using the Command-Line Version of ProB →-trace_replay
11:1011:10, 23 December 2025 diff hist +169 Using the Command-Line Version of ProB →-trace_replay KIND FILE
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

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