User contributions for Michael Leuschel

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

17:08, 19 September 2018 (diff | hist) . . (+203)‎ . . The ProB Animator and Model Checker ‎ (current)
12:34, 5 September 2018 (diff | hist) . . (+1,704)‎ . . Alloy ‎ (current)
09:56, 28 August 2018 (diff | hist) . . (+195)‎ . . Bugs ‎ (current)
09:50, 28 August 2018 (diff | hist) . . (-1)‎ . . Download ‎ (→‎Short Release History) (current)
09:49, 28 August 2018 (diff | hist) . . (+178)‎ . . Download ‎ (→‎Latest Release)
09:47, 28 August 2018 (diff | hist) . . (+32)‎ . . Download ‎ (→‎Nightly Builds)
09:46, 28 August 2018 (diff | hist) . . (+1)‎ . . Download ‎ (→‎Nightly Build)
09:45, 28 August 2018 (diff | hist) . . (+1)‎ . . Download ‎
09:44, 28 August 2018 (diff | hist) . . (+173)‎ . . Download ‎ (→‎ProB for Rodin)
15:11, 9 July 2018 (diff | hist) . . (+1,200)‎ . . ProB Release History ‎ (current)
14:40, 9 July 2018 (diff | hist) . . (-295)‎ . . Installation ‎ (→‎Installation Instruction for ProB (Standalone)) (current)
14:38, 9 July 2018 (diff | hist) . . (-44)‎ . . Installation ‎ (→‎Checklist/Troubleshooting)
14:32, 9 July 2018 (diff | hist) . . (+70)‎ . . Download ‎ (→‎Graphviz Requirements)
14:29, 9 July 2018 (diff | hist) . . (+224)‎ . . Download ‎ (→‎Tcl/Tk on Linux)
14:27, 9 July 2018 (diff | hist) . . (-9)‎ . . Download ‎ (→‎Prior Versions)
11:36, 28 June 2018 (diff | hist) . . (-20)‎ . . Download ‎ (→‎Latest Release)
11:35, 28 June 2018 (diff | hist) . . (+58)‎ . . Download ‎ (→‎Latest Release)
14:52, 6 June 2018 (diff | hist) . . (+151)‎ . . The ProB Animator and Model Checker ‎
08:02, 5 June 2018 (diff | hist) . . (0)‎ . . Download ‎ (→‎Nightly Build)
15:29, 16 May 2018 (diff | hist) . . (+117)‎ . . Privacy Policy ‎ (→‎Registrierung) (current)
10:55, 16 May 2018 (diff | hist) . . (+806)‎ . . Privacy Policy ‎ (→‎Detailed Datenschutzerklärung)
10:29, 16 May 2018 (diff | hist) . . (+2,972)‎ . . Privacy Policy ‎ (→‎Verwendung von Cookies)
10:23, 16 May 2018 (diff | hist) . . (+3,006)‎ . . Privacy Policy ‎ (→‎Bereitstellung der Website und Erstellung von Logfiles)
10:18, 16 May 2018 (diff | hist) . . (+3,296)‎ . . Privacy Policy ‎
09:46, 16 May 2018 (diff | hist) . . (+47)‎ . . Privacy Policy ‎
09:41, 16 May 2018 (diff | hist) . . (+346)‎ . . N Privacy Policy ‎ (Created page with "The general privacy policy of the University's websites and the "Datenschutzbeauftragter" can be found [http://www.uni-duesseldorf.de/home/footer/datenschutz.html here]. In a...")
09:39, 16 May 2018 (diff | hist) . . (+1)‎ . . Links ‎ (→‎General) (current)
09:39, 16 May 2018 (diff | hist) . . (+64)‎ . . Links ‎
22:39, 19 April 2018 (diff | hist) . . (+157)‎ . . Summary of B Syntax ‎ (→‎Comments and Pragmas) (current)
20:14, 19 April 2018 (diff | hist) . . (+66)‎ . . Summary of B Syntax ‎ (→‎Comments and Pragmas)
18:18, 19 April 2018 (diff | hist) . . (+105)‎ . . Summary of B Syntax ‎ (→‎Comments and Pragmas)
18:04, 19 April 2018 (diff | hist) . . (+558)‎ . . Summary of B Syntax ‎ (→‎Comments and Pragmas)
18:51, 11 April 2018 (diff | hist) . . (-6,371)‎ . . DownloadPriorVersions ‎ (current)
21:29, 20 March 2018 (diff | hist) . . (+2,511)‎ . . ProB Release History ‎
21:25, 20 March 2018 (diff | hist) . . (-24)‎ . . The ProB Animator and Model Checker ‎
17:20, 20 March 2018 (diff | hist) . . (-112)‎ . . The ProB Animator and Model Checker ‎
17:18, 20 March 2018 (diff | hist) . . (+203)‎ . . The ProB Animator and Model Checker ‎
17:14, 20 March 2018 (diff | hist) . . (-4)‎ . . Download ‎ (→‎Latest Release)
17:11, 20 March 2018 (diff | hist) . . (-21)‎ . . Download ‎ (→‎Latest Release)
17:10, 20 March 2018 (diff | hist) . . (0)‎ . . Download ‎ (→‎Latest Release)
17:10, 20 March 2018 (diff | hist) . . (+8)‎ . . Download ‎ (→‎Latest Release)
12:23, 20 March 2018 (diff | hist) . . (+1,745)‎ . . DownloadPriorVersions ‎ (→‎Prior Versions of ProB)
12:21, 20 March 2018 (diff | hist) . . (+204)‎ . . Download ‎ (→‎Short Release History)
16:54, 22 February 2018 (diff | hist) . . (-18)‎ . . Team ‎ (current)
16:53, 22 February 2018 (diff | hist) . . (+17)‎ . . Team ‎
16:53, 22 February 2018 (diff | hist) . . (+81)‎ . . Team ‎
14:05, 7 February 2018 (diff | hist) . . (+42)‎ . . Tutorial Rodin Parameters ‎ (→‎Size of unspecified sets (carrier sets)) (current)
13:23, 7 February 2018 (diff | hist) . . (0)‎ . . N File:AlloyAtelierB.png ‎ (current)
13:23, 7 February 2018 (diff | hist) . . (+100)‎ . . Alloy ‎ (→‎Examples)
13:17, 7 February 2018 (diff | hist) . . (0)‎ . . N File:ProBAlloyRiver.png ‎ (current)

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