User contributions for Michael Leuschel

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)

12:06, 16 April 2019 (diff | hist) . . (+127)‎ . . Memoization for Functions ‎ (current)
12:01, 16 April 2019 (diff | hist) . . (-34)‎ . . Memoization for Functions ‎
12:00, 16 April 2019 (diff | hist) . . (+462)‎ . . Memoization for Functions ‎
11: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...")
11:53, 16 April 2019 (diff | hist) . . (+32)‎ . . Template:User Manual Index ‎ (current)
13:37, 11 April 2019 (diff | hist) . . (+152)‎ . . Download ‎ (current)
13:33, 11 April 2019 (diff | hist) . . (+518)‎ . . Download ‎ (→‎Latest Release)
10:56, 22 March 2019 (diff | hist) . . (+60)‎ . . Tutorial Unit Plugin ‎ (current)
09:51, 21 March 2019 (diff | hist) . . (-14)‎ . . User Manual ‎ (→‎New version of ProB user manuals) (current)
09:05, 21 March 2019 (diff | hist) . . (+304)‎ . . Tutorial Animation Tips ‎ (→‎Increasing MAX_OPERATIONS) (current)
14:56, 26 February 2019 (diff | hist) . . (+137)‎ . . Download ‎ (→‎Nightly Builds)
14:55, 26 February 2019 (diff | hist) . . (+30)‎ . . Download ‎ (→‎Nightly Builds)
11:45, 22 February 2019 (diff | hist) . . (+1)‎ . . Template:User Manual Index ‎
11:44, 22 February 2019 (diff | hist) . . (+37)‎ . . Template:User Manual Index ‎
14:10, 18 February 2019 (diff | hist) . . (+170)‎ . . Download ‎ (→‎ProB2 UI using Java FX)
13:39, 12 February 2019 (diff | hist) . . (-175)‎ . . Download ‎ (→‎Nightly Builds)
11:06, 4 February 2019 (diff | hist) . . (+89)‎ . . Download ‎ (→‎ProB2 UI using Java FX)
10:51, 4 February 2019 (diff | hist) . . (+56)‎ . . Download ‎ (→‎ProB2 UI using Java FX)
10:39, 8 January 2019 (diff | hist) . . (+440)‎ . . Download ‎ (→‎Sourcecode)
11:26, 1 December 2018 (diff | hist) . . (+82)‎ . . External Functions ‎ (current)
11:23, 1 December 2018 (diff | hist) . . (0)‎ . . N File:ExternalFunctions.pdf ‎ (current)
11:23, 1 December 2018 (diff | hist) . . (-14)‎ . . External Functions ‎
11:23, 1 December 2018 (diff | hist) . . (+123)‎ . . External Functions ‎
16:47, 7 November 2018 (diff | hist) . . (+12)‎ . . User Manual ‎ (→‎New version of ProB user manuals)
11:38, 29 October 2018 (diff | hist) . . (+164)‎ . . Download ‎ (→‎ProB for Rodin)
15:09, 23 October 2018 (diff | hist) . . (+87)‎ . . Download ‎ (→‎ProB for Rodin)
14:50, 23 October 2018 (diff | hist) . . (+15)‎ . . Download ‎ (→‎ProB for Rodin)
14:50, 23 October 2018 (diff | hist) . . (+246)‎ . . Download ‎ (→‎ProB for Rodin)
12:57, 22 October 2018 (diff | hist) . . (+93)‎ . . Using the Command-Line Version of ProB ‎ (→‎Preferences) (current)
09:51, 22 October 2018 (diff | hist) . . (-2)‎ . . Developer Manual ‎
09:50, 22 October 2018 (diff | hist) . . (+143)‎ . . Developer Manual ‎
13:16, 12 October 2018 (diff | hist) . . (+67)‎ . . Current Limitations ‎ (current)
13:15, 12 October 2018 (diff | hist) . . (+11)‎ . . Current Limitations ‎
13:14, 12 October 2018 (diff | hist) . . (-674)‎ . . Current Limitations ‎
13:14, 12 October 2018 (diff | hist) . . (-78)‎ . . Current Limitations ‎
08:41, 12 October 2018 (diff | hist) . . (+4)‎ . . Graphical Visualization ‎ (→‎Sudoku) (current)
08:41, 12 October 2018 (diff | hist) . . (+1,242)‎ . . Graphical Visualization ‎ (→‎Sudoku)
08:23, 12 October 2018 (diff | hist) . . (-2)‎ . . User Manual ‎ (→‎Content of this handbook)
08:23, 12 October 2018 (diff | hist) . . (+10)‎ . . User Manual ‎ (→‎New Version of Manuals)
08:22, 12 October 2018 (diff | hist) . . (-1)‎ . . User Manual ‎ (→‎New Version of Manuals)
08:22, 12 October 2018 (diff | hist) . . (+259)‎ . . User Manual ‎
13:43, 5 October 2018 (diff | hist) . . (+925)‎ . . Download ‎ (→‎Latest Release)
10:56, 2 October 2018 (diff | hist) . . (+64)‎ . . ProB Release History ‎ (current)
10:29, 2 October 2018 (diff | hist) . . (0)‎ . . Download ‎ (→‎ProB for Rodin)
10:28, 2 October 2018 (diff | hist) . . (+7)‎ . . Download ‎ (→‎Nightly Builds)
10:27, 2 October 2018 (diff | hist) . . (-306)‎ . . Download ‎ (→‎Timed-CSP Simulator)
10:27, 2 October 2018 (diff | hist) . . (+279)‎ . . DownloadPriorVersions ‎ (current)
10:09, 2 October 2018 (diff | hist) . . (-133)‎ . . Alloy ‎ (current)
10:04, 2 October 2018 (diff | hist) . . (-7)‎ . . Alloy ‎ (→‎Installation)
09:53, 2 October 2018 (diff | hist) . . (+2,946)‎ . . Alloy ‎ (→‎Alloy Syntax)

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)