User contributions for Michael Leuschel

11:3011:30, 8 November 2019 diff hist +3 DownloadPriorVersions →Prior Versions of ProB
11:2911:29, 8 November 2019 diff hist +1,792 DownloadPriorVersions No edit summary

11:2611:26, 24 October 2019 diff hist 0 Download →Latest Beta Release

19:1519:15, 14 October 2019 diff hist 0 Download →Latest Beta Release

07:4307:43, 2 October 2019 diff hist +26 Download →ProB2 UI using Java FX

06:0606:06, 29 September 2019 diff hist +199 Using the Command-Line Version of ProB →-logxml
06:0506:05, 29 September 2019 diff hist −6 Using the Command-Line Version of ProB →-logxml
06:0306:03, 29 September 2019 diff hist −30,030 File:Logxml xsd.xml Replaced content with "logxml_xsd.xml" current
06:0206:02, 29 September 2019 diff hist +30,044 N File:Logxml xsd.xml Created page with "<?xml version="1.0" encoding="UTF-8"?>  <!-- Version: 29th September 2019, for..."
06:0206:02, 29 September 2019 diff hist +135 Using the Command-Line Version of ProB →-logxml

12:3112:31, 24 September 2019 diff hist +150 Tutorial Rodin Parameters →Size of unspecified sets (carrier sets) current

06:2806:28, 23 September 2019 diff hist +402 Tutorial Rodin Parameters →Size of unspecified sets (carrier sets)

14:1914:19, 10 September 2019 diff hist −2 Download →Latest Beta Release

07:5707:57, 20 July 2019 diff hist +557 ProB2-UI No edit summary
07:4807:48, 20 July 2019 diff hist 0 ProB2-UI →The ProB2 JavaFX Main Window
07:4707:47, 20 July 2019 diff hist −43 ProB2-UI →The ProB2 JavaFX Main Window
07:4607:46, 20 July 2019 diff hist 0 File:ProB2JavaFX UI Overview New.png Michael Leuschel uploaded a new version of File:ProB2JavaFX UI Overview New.png current
07:4507:45, 20 July 2019 diff hist 0 N File:ProB2JavaFX UI Overview New.png No edit summary
07:4507:45, 20 July 2019 diff hist +48 ProB2-UI No edit summary

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

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

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

User contributions for Michael Leuschel

8 November 2019

24 October 2019

14 October 2019

2 October 2019

29 September 2019

24 September 2019

23 September 2019

10 September 2019

20 July 2019

19 July 2019

18 July 2019

12 July 2019