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

11:5711:57, 7 February 2020 diff hist +12 Download →ProB2 UI using Java FX
11:5411:54, 7 February 2020 diff hist +80 Download →ProB2 UI using Java FX
11:5411:54, 7 February 2020 diff hist +81 ProB2-UI No edit summary
11:5011:50, 7 February 2020 diff hist +364 Download →ProB2 UI using Java FX
11:4911:49, 7 February 2020 diff hist +138 ProB2-UI No edit summary
11:4811:48, 7 February 2020 diff hist +167 ProB2-UI No edit summary

09:1409:14, 4 February 2020 diff hist +81 Links →Papers
08:2908:29, 4 February 2020 diff hist 0 Download →Latest Beta Release

12:0312:03, 28 January 2020 diff hist +8 Links →Tools using ProB

11:4911:49, 20 January 2020 diff hist 0 Download →Latest Beta Release

12:1712:17, 17 January 2020 diff hist −99 Links →Related Tools
12:1512:15, 17 January 2020 diff hist +10 Links →Related Tools
10:2310:23, 17 January 2020 diff hist +115 VisB No edit summary

11:1711:17, 7 January 2020 diff hist +2 Test Case Generation →From the command line
11:1611:16, 7 January 2020 diff hist 0 Download →ProB2 UI using Java FX

10:1610:16, 31 December 2019 diff hist 0 Download →Latest Beta Release

09:1309:13, 4 December 2019 diff hist +154 Download →Tcl/Tk on Mac OS/X

09:0609:06, 2 December 2019 diff hist −15 Links →Tools using ProB
09:0509:05, 2 December 2019 diff hist +253 Links →Tools using ProB

15:4215:42, 26 November 2019 diff hist −1 Download →ProB2 UI using Java FX
15:4215:42, 26 November 2019 diff hist +136 Download →ProB2 UI using Java FX
15:4115:41, 26 November 2019 diff hist +95 Download →Java Requirements for B parser

12:4612:46, 25 November 2019 diff hist 0 Download →Latest Beta Release

19:1519:15, 11 November 2019 diff hist +78 Download →Short Release History
19:1419:14, 11 November 2019 diff hist +1 The ProB Animator and Model Checker No edit summary
19:1419:14, 11 November 2019 diff hist 0 The ProB Animator and Model Checker No edit summary
19:1319:13, 11 November 2019 diff hist +3 Download →Latest Release
19:1219:12, 11 November 2019 diff hist +1,792 DownloadPriorVersions →Prior Versions of ProB

11:3511:35, 8 November 2019 diff hist +55 The ProB Animator and Model Checker No edit summary
11:3411:34, 8 November 2019 diff hist +76 Download →Short Release History
11:3211:32, 8 November 2019 diff hist +599 ProB Release History No edit summary
11:3111:31, 8 November 2019 diff hist 0 Download →Latest Release
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

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