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

07:5507:55, 1 September 2014 diff hist −6 Windows Installation Instructions →Download the ProB for Windows Zipfile

07:4607:46, 27 August 2014 diff hist +110 The ProB Animator and Model Checker No edit summary

08:2508:25, 22 August 2014 diff hist +43 The ProB Animator and Model Checker No edit summary
08:0108:01, 22 August 2014 diff hist 0 Download →Latest Release

08:0708:07, 5 August 2014 diff hist +1 Rush Hour Puzzle →B Encoding of the Rush Hour Puzzle
08:0708:07, 5 August 2014 diff hist +7 Rush Hour Puzzle →B Encoding of the Rush Hour Puzzle
08:0508:05, 5 August 2014 diff hist +78 Rush Hour Puzzle No edit summary
08:0408:04, 5 August 2014 diff hist +679 Rush Hour Puzzle No edit summary
07:5607:56, 5 August 2014 diff hist +342 Rush Hour Puzzle No edit summary
07:5107:51, 5 August 2014 diff hist +411 Rush Hour Puzzle No edit summary
07:4607:46, 5 August 2014 diff hist −17 Consistency Checking No edit summary

13:0813:08, 30 July 2014 diff hist +57 Download →Short Release History
08:2308:23, 30 July 2014 diff hist −1 Download →Prior Versions
08:2308:23, 30 July 2014 diff hist −5,311 Download →Latest Release
07:4907:49, 30 July 2014 diff hist −19 DownloadPriorVersions No edit summary
07:4907:49, 30 July 2014 diff hist +198 DownloadPriorVersions No edit summary
07:4707:47, 30 July 2014 diff hist −17 Download No edit summary
07:4607:46, 30 July 2014 diff hist +7,111 N DownloadPriorVersions Created page with '== Prior Versions of ProB == {| border="1" ! Platform ! Release Date ! Download ! Dependencies |- | colspan="4" style="background-color:lightgrey;" | 1.3.6-final |- | Linux | …'
07:4607:46, 30 July 2014 diff hist +136 Download →Latest Release

11:0511:05, 23 July 2014 diff hist −1 Fibonacci Numbers with Automatic Dynamic Programming No edit summary current
11:0511:05, 23 July 2014 diff hist −2 Fibonacci Numbers with Automatic Dynamic Programming No edit summary
11:0511:05, 23 July 2014 diff hist +25 Fibonacci Numbers with Automatic Dynamic Programming No edit summary
10:5110:51, 23 July 2014 diff hist +896 Euler Problem 67 - Maximum Path Sum II →The solution in B
10:4810:48, 23 July 2014 diff hist 0 Euler Problem 67 - Maximum Path Sum II →The solution in B
10:4810:48, 23 July 2014 diff hist +191 Euler Problem 67 - Maximum Path Sum II →The solution in B
10:4610:46, 23 July 2014 diff hist +145 Euler Problem 67 - Maximum Path Sum II →The solution in B
10:4410:44, 23 July 2014 diff hist +50 Euler Problem 67 - Maximum Path Sum II →The solution in B
10:4310:43, 23 July 2014 diff hist +140 Euler Problem 67 - Maximum Path Sum II No edit summary
10:4110:41, 23 July 2014 diff hist −2 Installation No edit summary
10:4010:40, 23 July 2014 diff hist +24 Using the Command-Line Version of ProB No edit summary
10:3910:39, 23 July 2014 diff hist +125 Rush Hour XTL No edit summary
10:3710:37, 23 July 2014 diff hist +22 Rush Hour Puzzle No edit summary
10:2910:29, 23 July 2014 diff hist +1,077 Rush Hour Puzzle No edit summary
10:2510:25, 23 July 2014 diff hist +808 Rush Hour XTL No edit summary
10:2210:22, 23 July 2014 diff hist +502 Rush Hour Puzzle No edit summary
10:2010:20, 23 July 2014 diff hist +327 Rush Hour XTL No edit summary
10:1410:14, 23 July 2014 diff hist +191 Rush Hour XTL No edit summary
10:1010:10, 23 July 2014 diff hist −144 Rush Hour XTL No edit summary
10:1010:10, 23 July 2014 diff hist −308 Rush Hour XTL No edit summary
09:4909:49, 23 July 2014 diff hist +3,132 Rush Hour XTL No edit summary
08:2708:27, 23 July 2014 diff hist +14 Rush Hour Puzzle No edit summary
08:2608:26, 23 July 2014 diff hist +100 Other languages No edit summary
08:2608:26, 23 July 2014 diff hist +55 Rush Hour XTL No edit summary
08:2508:25, 23 July 2014 diff hist +137 Other languages No edit summary
08:2308:23, 23 July 2014 diff hist 0 N File:ProB RushHour XTL Screenshot.png No edit summary current
08:2208:22, 23 July 2014 diff hist +340 Rush Hour XTL No edit summary
08:2008:20, 23 July 2014 diff hist +6,220 N Rush Hour XTL Created page with 'This case studies tackles encoding the [http://en.wikipedia.org/wiki/Rush_Hour_(board_game) rush hour board game] in which cars are packed on a 6-by-6 grid and can either move ho…'
08:1708:17, 23 July 2014 diff hist +148 Rush Hour Puzzle No edit summary

14:5914:59, 22 July 2014 diff hist +81 Rush Hour Puzzle No edit summary
14:5714:57, 22 July 2014 diff hist +4 Rush Hour Puzzle No edit summary

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