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.

08:5808:58, 13 January 2021 diff hist −1,159 Developer Manual No edit summary
08:5808:58, 13 January 2021 diff hist +22 Template:ProBSourceCode No edit summary
08:5708:57, 13 January 2021 diff hist +1,157 N Template:ProBSourceCode Created page with " The kernel of ProB is written in Prolog and you can download the latest Prolog sourcecode snapshot from: [http://www3.hhu.de/stups/downloads/prob/source/ http://www3.hhu.de/..."
08:5608:56, 13 January 2021 diff hist +20 Developer Manual →ProB Source Code
08:5508:55, 13 January 2021 diff hist −22 Developer Manual →ProB Prolog Source Code
08:5408:54, 13 January 2021 diff hist −4,342 Getting Involved Redirected page to Running ProB from source current
08:5308:53, 13 January 2021 diff hist +39 Running ProB from source No edit summary
08:5208:52, 13 January 2021 diff hist +24 Running ProB from source →Running ProB from Prolog
08:5208:52, 13 January 2021 diff hist −29 Running ProB from source →Running ProB from Prolog
08:5108:51, 13 January 2021 diff hist +3,931 Running ProB from source No edit summary
08:5008:50, 13 January 2021 diff hist −113 Getting Involved No edit summary
08:4808:48, 13 January 2021 diff hist −276 Developer Manual No edit summary
08:4708:47, 13 January 2021 diff hist +1,183 Developer Manual No edit summary

08:5608:56, 5 January 2021 diff hist +26 The ProB Animator and Model Checker No edit summary
08:5608:56, 5 January 2021 diff hist +28 The ProB Animator and Model Checker No edit summary

17:1117:11, 29 December 2020 diff hist +1 VisB →Replication

21:2021:20, 28 December 2020 diff hist +50 VisB →Replication

16:5716:57, 27 December 2020 diff hist +3 VisB →Replication
16:5716:57, 27 December 2020 diff hist +427 VisB →Replication
16:4916:49, 27 December 2020 diff hist +980 VisB →VisB Attributes
16:4416:44, 27 December 2020 diff hist +140 VisB →VisB Attributes

10:1310:13, 23 December 2020 diff hist +1 Download →Tcl/Tk on Mac OS/X
10:1210:12, 23 December 2020 diff hist +2 Download →Tcl/Tk on Mac OS/X
10:1210:12, 23 December 2020 diff hist +155 Download →Tcl/Tk on Mac OS/X
10:1010:10, 23 December 2020 diff hist +133 Bugs No edit summary

14:4514:45, 17 December 2020 diff hist +119 Download →ProB2 UI using Java FX

15:5415:54, 16 December 2020 diff hist +344 Download →Latest Release
15:5115:51, 16 December 2020 diff hist +195 Download →ProB2 UI using Java FX
12:5612:56, 16 December 2020 diff hist −43 The ProB Animator and Model Checker →Features
12:0812:08, 16 December 2020 diff hist +127 The ProB Animator and Model Checker No edit summary
12:0812:08, 16 December 2020 diff hist +1 Download →Short Release History
11:5611:56, 16 December 2020 diff hist +2,631 ProB Release History No edit summary
11:5511:55, 16 December 2020 diff hist +182 Download →Short Release History
11:4711:47, 16 December 2020 diff hist −64 Download →Latest Release
11:2611:26, 16 December 2020 diff hist +24 Download →Latest Release
11:2211:22, 16 December 2020 diff hist −77 Download →Latest Release
11:1911:19, 16 December 2020 diff hist +1,793 DownloadPriorVersions →Prior Versions of ProB

10:4310:43, 2 December 2020 diff hist +90 VisB →VisB Attributes

16:5816:58, 27 November 2020 diff hist +135 VisB No edit summary
16:5416:54, 27 November 2020 diff hist +296 VisB →VisB Attributes

14:0314:03, 24 November 2020 diff hist +43 Links →Other Links

14:2014:20, 19 November 2020 diff hist +14 Summary of B Syntax →Reals:

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