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.

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

10:2310:23, 5 February 2018 diff hist +465 N Alloy Created page with "Category:User Manual As of version 1.8 ProB provides support to load [http://alloy.mit.edu/alloy/ Alloy] models. The Alloy models are translated to B machines by a [http..."
10:1610:16, 5 February 2018 diff hist +48 Template:User Manual Index No edit summary

09:3409:34, 4 February 2018 diff hist +138 ProB2-UI No edit summary
09:3209:32, 4 February 2018 diff hist +20 Download →Nightly Build

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