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

07:4507:45, 28 August 2018 diff hist +1 Download No edit summary
07:4407:44, 28 August 2018 diff hist +173 Download →ProB for Rodin

13:1113:11, 9 July 2018 diff hist +1,200 ProB Release History No edit summary
12:4012:40, 9 July 2018 diff hist −295 Installation →Installation Instruction for ProB (Standalone)
12:3812:38, 9 July 2018 diff hist −44 Installation →Checklist/Troubleshooting
12:3212:32, 9 July 2018 diff hist +70 Download →Graphviz Requirements
12:2912:29, 9 July 2018 diff hist +224 Download →Tcl/Tk on Linux
12:2712:27, 9 July 2018 diff hist −9 Download →Prior Versions

09:3609:36, 28 June 2018 diff hist −20 Download →Latest Release
09:3509:35, 28 June 2018 diff hist +58 Download →Latest Release

12:5212:52, 6 June 2018 diff hist +151 The ProB Animator and Model Checker No edit summary

06:0206:02, 5 June 2018 diff hist 0 Download →Nightly Build

13:2913:29, 16 May 2018 diff hist +117 Privacy Policy →Registrierung current
08:5508:55, 16 May 2018 diff hist +806 Privacy Policy →Detailed Datenschutzerklärung
08:2908:29, 16 May 2018 diff hist +2,972 Privacy Policy →Verwendung von Cookies
08:2308:23, 16 May 2018 diff hist +3,006 Privacy Policy →Bereitstellung der Website und Erstellung von Logfiles
08:1808:18, 16 May 2018 diff hist +3,296 Privacy Policy No edit summary
07:4607:46, 16 May 2018 diff hist +47 Privacy Policy No edit summary
07:4107: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..."
07:3907:39, 16 May 2018 diff hist +1 Links →General
07:3907:39, 16 May 2018 diff hist +64 Links No edit summary

16:5116:51, 11 April 2018 diff hist −6,371 DownloadPriorVersions No edit summary

19:2919:29, 20 March 2018 diff hist +2,511 ProB Release History No edit summary
19:2519:25, 20 March 2018 diff hist −24 The ProB Animator and Model Checker No edit summary
15:2015:20, 20 March 2018 diff hist −112 The ProB Animator and Model Checker No edit summary
15:1815:18, 20 March 2018 diff hist +203 The ProB Animator and Model Checker No edit summary
15:1415:14, 20 March 2018 diff hist −4 Download →Latest Release
15:1115:11, 20 March 2018 diff hist −21 Download →Latest Release
15:1015:10, 20 March 2018 diff hist 0 Download →Latest Release
15:1015:10, 20 March 2018 diff hist +8 Download →Latest Release
10:2310:23, 20 March 2018 diff hist +1,745 DownloadPriorVersions →Prior Versions of ProB
10:2110:21, 20 March 2018 diff hist +204 Download →Short Release History

14:5414:54, 22 February 2018 diff hist −18 Team No edit summary
14:5314:53, 22 February 2018 diff hist +17 Team No edit summary
14:5314:53, 22 February 2018 diff hist +81 Team No edit summary

12:0512:05, 7 February 2018 diff hist +42 Tutorial Rodin Parameters →Size of unspecified sets (carrier sets)
11:2311:23, 7 February 2018 diff hist 0 N File:AlloyAtelierB.png No edit summary current
11:2311:23, 7 February 2018 diff hist +100 Alloy →Examples
11:1711:17, 7 February 2018 diff hist 0 N File:ProBAlloyRiver.png No edit summary current
11:1711:17, 7 February 2018 diff hist +4,183 Alloy →Examples
08:2608:26, 7 February 2018 diff hist +15 Alloy →N-Queens
08:2508:25, 7 February 2018 diff hist 0 Alloy No edit summary
08:2508:25, 7 February 2018 diff hist +172 Alloy No edit summary
08:2408:24, 7 February 2018 diff hist 0 N File:ProBAlloyQueens.png No edit summary current
08:2408:24, 7 February 2018 diff hist +121 Alloy No edit summary
08:2208:22, 7 February 2018 diff hist +1,923 Alloy No edit summary

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