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

10:0110:01, 16 April 2019 diff hist −34 Memoization for Functions No edit summary
10:0010:00, 16 April 2019 diff hist +462 Memoization for Functions No edit summary
09:5809:58, 16 April 2019 diff hist +885 N Memoization for Functions Created page with " = Memoization of Function Calls = As of version 1.9.0-beta9 ProB allows you to annotate functions in the ABSTRACT_CONSTANTS section for memoization. To enable memoization yo..."
09:5309:53, 16 April 2019 diff hist +32 Template:User Manual Index No edit summary

11:3711:37, 11 April 2019 diff hist +152 Download No edit summary
11:3311:33, 11 April 2019 diff hist +518 Download →Latest Release

08:5608:56, 22 March 2019 diff hist +60 Tutorial Unit Plugin No edit summary current

07:5107:51, 21 March 2019 diff hist −14 User Manual →New version of ProB user manuals
07:0507:05, 21 March 2019 diff hist +304 Tutorial Animation Tips →Increasing MAX_OPERATIONS

12:5612:56, 26 February 2019 diff hist +137 Download →Nightly Builds
12:5512:55, 26 February 2019 diff hist +30 Download →Nightly Builds

09:4509:45, 22 February 2019 diff hist +1 Template:User Manual Index No edit summary
09:4409:44, 22 February 2019 diff hist +37 Template:User Manual Index No edit summary

12:1012:10, 18 February 2019 diff hist +170 Download →ProB2 UI using Java FX

11:3911:39, 12 February 2019 diff hist −175 Download →Nightly Builds

09:0609:06, 4 February 2019 diff hist +89 Download →ProB2 UI using Java FX
08:5108:51, 4 February 2019 diff hist +56 Download →ProB2 UI using Java FX

08:3908:39, 8 January 2019 diff hist +440 Download →Sourcecode

09:2609:26, 1 December 2018 diff hist +82 External Functions No edit summary
09:2309:23, 1 December 2018 diff hist 0 N File:ExternalFunctions.pdf No edit summary current
09:2309:23, 1 December 2018 diff hist −14 External Functions No edit summary
09:2309:23, 1 December 2018 diff hist +123 External Functions No edit summary

14:4714:47, 7 November 2018 diff hist +12 User Manual →New version of ProB user manuals

09:3809:38, 29 October 2018 diff hist +164 Download →ProB for Rodin

13:0913:09, 23 October 2018 diff hist +87 Download →ProB for Rodin
12:5012:50, 23 October 2018 diff hist +15 Download →ProB for Rodin
12:5012:50, 23 October 2018 diff hist +246 Download →ProB for Rodin

10:5710:57, 22 October 2018 diff hist +93 Using the Command-Line Version of ProB →Preferences
07:5107:51, 22 October 2018 diff hist −2 Developer Manual No edit summary
07:5007:50, 22 October 2018 diff hist +143 Developer Manual No edit summary

11:1611:16, 12 October 2018 diff hist +67 Current Limitations No edit summary
11:1511:15, 12 October 2018 diff hist +11 Current Limitations No edit summary
11:1411:14, 12 October 2018 diff hist −674 Current Limitations No edit summary
11:1411:14, 12 October 2018 diff hist −78 Current Limitations No edit summary
06:4106:41, 12 October 2018 diff hist +4 Graphical Visualization →Sudoku
06:4106:41, 12 October 2018 diff hist +1,242 Graphical Visualization →Sudoku
06:2306:23, 12 October 2018 diff hist −2 User Manual →Content of this handbook
06:2306:23, 12 October 2018 diff hist +10 User Manual →New Version of Manuals
06:2206:22, 12 October 2018 diff hist −1 User Manual →New Version of Manuals
06:2206:22, 12 October 2018 diff hist +259 User Manual No edit summary

11:4311:43, 5 October 2018 diff hist +925 Download →Latest Release

08:5608:56, 2 October 2018 diff hist +64 ProB Release History No edit summary
08:2908:29, 2 October 2018 diff hist 0 Download →ProB for Rodin
08:2808:28, 2 October 2018 diff hist +7 Download →Nightly Builds
08:2708:27, 2 October 2018 diff hist −306 Download →Timed-CSP Simulator
08:2708:27, 2 October 2018 diff hist +279 DownloadPriorVersions No edit summary
08:0908:09, 2 October 2018 diff hist −133 Alloy No edit summary
08:0408:04, 2 October 2018 diff hist −7 Alloy →Installation
07:5307:53, 2 October 2018 diff hist +2,946 Alloy →Alloy Syntax
07:4707:47, 2 October 2018 diff hist +791 ProB Release History No edit summary

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