User contributions for Michael Leuschel

20 July 2019

• 07:4507:45, 20 July 2019 diff hist +48 ProB2-UI No edit summary

19 July 2019

• 11:2711:27, 19 July 2019 diff hist −32 The ProB Animator and Model Checker →Versions of ProB
• 11:2611:26, 19 July 2019 diff hist +1 The ProB Animator and Model Checker →Versions of ProB
• 11:2611:26, 19 July 2019 diff hist −129 The ProB Animator and Model Checker →Versions of ProB
• 11:2511:25, 19 July 2019 diff hist +555 The ProB Animator and Model Checker →Versions of ProB
• 11:2311:23, 19 July 2019 diff hist −1 Download →Java Requirements for B parser
• 11:2311:23, 19 July 2019 diff hist +63 Download →Java Requirements for B parser
• 11:2211:22, 19 July 2019 diff hist +19 Download →ProB2 UI using Java FX
• 11:2111:21, 19 July 2019 diff hist −22 Download →ProB2 UI using Java FX
• 11:2111:21, 19 July 2019 diff hist +164 Download →ProB2 UI using Java FX
• 11:2011:20, 19 July 2019 diff hist +62 The ProB Animator and Model Checker →Versions of ProB
• 11:1811:18, 19 July 2019 diff hist +101 The ProB Animator and Model Checker →Versions of ProB
• 11:1711:17, 19 July 2019 diff hist +61 Download →ProB2 UI using Java FX
• 11:1511:15, 19 July 2019 diff hist +376 Download →ProB2 UI using Java FX
• 11:1111:11, 19 July 2019 diff hist +6 The ProB Animator and Model Checker No edit summary
• 11:1111:11, 19 July 2019 diff hist −226 The ProB Animator and Model Checker No edit summary
• 09:1409:14, 19 July 2019 diff hist +257 ProB Java API →Download
• 09:1209:12, 19 July 2019 diff hist +20 ProB Java API →Documentation
• 08:5308:53, 19 July 2019 diff hist +8 The ProB Animator and Model Checker →Versions of ProB
• 08:5208:52, 19 July 2019 diff hist −41 The ProB Animator and Model Checker →Versions of ProB
• 08:5208:52, 19 July 2019 diff hist −16 The ProB Animator and Model Checker →Versions of ProB
• 08:5108:51, 19 July 2019 diff hist +1,109 The ProB Animator and Model Checker No edit summary
• 08:4008:40, 19 July 2019 diff hist +50 The ProB Animator and Model Checker No edit summary

18 July 2019

• 12:1212:12, 18 July 2019 diff hist +93 VisB →VisB
• 12:0512:05, 18 July 2019 diff hist +126 VisB →Installing VisB Plugin
• 12:0412:04, 18 July 2019 diff hist +1,500 N VisB Created page with "== VisB == VisB is a plugin for ProB2-UI. It can be downloaded at [https://www3.hhu.de/stups/downloads/prob2/plugins/ https://www3.hhu.de/stups/downloads/prob2/plugins/]. ==..."
• 11:5811:58, 18 July 2019 diff hist +178 Download →ProB2 UI using Java FX
• 11:5111:51, 18 July 2019 diff hist −9 Download →ProB2 UI using Java FX
• 11:5011:50, 18 July 2019 diff hist 0 Download →ProB2 UI using Java FX

12 July 2019

• 14:4314:43, 12 July 2019 diff hist +6 Download →Latest Release
• 14:4214:42, 12 July 2019 diff hist +6 Download →Latest Release
• 14:3914:39, 12 July 2019 diff hist +6 Download →Latest Release
• 14:3814:38, 12 July 2019 diff hist +51 Download →Latest Release
• 11:4111:41, 12 July 2019 diff hist +38 Download →Latest Release
• 11:3811:38, 12 July 2019 diff hist 0 Download →Latest Release
• 11:3811:38, 12 July 2019 diff hist −4 Download →Latest Release
• 11:3611:36, 12 July 2019 diff hist +22 Download →Latest Release
• 11:3511:35, 12 July 2019 diff hist +5 Download →Latest Release
• 11:3411:34, 12 July 2019 diff hist −1 Download →Latest Release
• 11:3411:34, 12 July 2019 diff hist +7 Download →Latest Release
• 11:3311:33, 12 July 2019 diff hist +13 Download →Latest Release
• 10:2910:29, 12 July 2019 diff hist −6 The ProB Animator and Model Checker No edit summary
• 10:2810:28, 12 July 2019 diff hist −25 The ProB Animator and Model Checker No edit summary
• 10:2810:28, 12 July 2019 diff hist +160 The ProB Animator and Model Checker No edit summary
• 10:2710:27, 12 July 2019 diff hist +11 Download →Short Release History
• 10:2710:27, 12 July 2019 diff hist −11 Download →Short Release History
• 10:2710:27, 12 July 2019 diff hist −2 Download →Short Release History
• 10:2610:26, 12 July 2019 diff hist +161 Download →Short Release History
• 10:2310:23, 12 July 2019 diff hist +2,387 ProB Release History No edit summary
• 10:1910:19, 12 July 2019 diff hist −1 Download →Latest Release