User contributions for Michael Leuschel

07:4507:45, 16 April 2015 diff hist +6 Cheryl's Birthday No edit summary
07:4207:42, 16 April 2015 diff hist +10 Cheryl's Birthday No edit summary
06:2806:28, 16 April 2015 diff hist +58 Cheryl's Birthday No edit summary
06:2706:27, 16 April 2015 diff hist +453 Cheryl's Birthday No edit summary
06:1806:18, 16 April 2015 diff hist +70 Cheryl's Birthday No edit summary
06:1706:17, 16 April 2015 diff hist +2,069 N Cheryl's Birthday Created page with ' This Puzzle is a variation of another Puzzle (Sum and Product) and has been described [http://www.nytimes.com/2015/04/15/science/a-math-problem-from-singapore-goes-viral-when-is…'
06:1306:13, 16 April 2015 diff hist +24 ProB Examples No edit summary

10:1010:10, 26 March 2015 diff hist +8 Event-B Theories →Download Theories
10:0910:09, 26 March 2015 diff hist +2 Event-B Theories →Download Theories
10:0810:08, 26 March 2015 diff hist +24 Event-B Theories No edit summary

12:5212:52, 23 March 2015 diff hist −4 Links →Testimonials

08:2408:24, 17 March 2015 diff hist +57 ParB No edit summary
08:2208:22, 17 March 2015 diff hist +135 ParB No edit summary

10:0610:06, 10 March 2015 diff hist +128 Test Case Generation No edit summary
10:0410:04, 10 March 2015 diff hist +44 Consistency Checking →Consistency Checking (Model Checking)
10:0110:01, 10 March 2015 diff hist +42 Consistency Checking No edit summary
09:5909:59, 10 March 2015 diff hist +2 Bounded Model Checking No edit summary
09:5909:59, 10 March 2015 diff hist +26 Bounded Model Checking No edit summary
09:5809:58, 10 March 2015 diff hist +32 Constraint Based Checking No edit summary current
09:5609:56, 10 March 2015 diff hist +82 Constraint Based Checking No edit summary
09:5409:54, 10 March 2015 diff hist +2 Bounded Model Checking No edit summary
09:5309:53, 10 March 2015 diff hist +300 Bounded Model Checking No edit summary

17:0117:01, 4 March 2015 diff hist +356 Using the Command-Line Version of ProB →-cbc_assertions

09:1009:10, 26 February 2015 diff hist +293 BMotion Studio No edit summary

14:3414:34, 19 February 2015 diff hist +16 Download →Tcl/Tk Requirements for ProB Tcl/Tk
14:1414:14, 19 February 2015 diff hist +47 Tutorial Rodin First Step →Installation
14:1414:14, 19 February 2015 diff hist 0 File:RodinInstallNewSoftware.png uploaded a new version of "File:RodinInstallNewSoftware.png" current
14:1314:13, 19 February 2015 diff hist +63 Tutorial Rodin First Step →Installation
14:1114:11, 19 February 2015 diff hist 0 Tutorial Rodin First Step →Installation
14:1114:11, 19 February 2015 diff hist 0 File:RodinInstallNewSoftware.png uploaded a new version of "File:RodinInstallNewSoftware.png"
14:1014:10, 19 February 2015 diff hist 0 N File:ProBRodinUpdateDialog.png No edit summary current
14:0914:09, 19 February 2015 diff hist 0 N File:RodinInstallNewSoftware.png No edit summary
14:0914:09, 19 February 2015 diff hist +422 Tutorial Rodin First Step →Installation
14:0814:08, 19 February 2015 diff hist −38 Download →Latest Release
14:0414:04, 19 February 2015 diff hist +175 Tutorial Rodin First Step →Installation
14:0214:02, 19 February 2015 diff hist −54 Download →Latest Release
14:0114:01, 19 February 2015 diff hist +397 Download →Latest Release
13:5413:54, 19 February 2015 diff hist −791 Download No edit summary
13:5313:53, 19 February 2015 diff hist +105 DownloadPriorVersions No edit summary
13:5013:50, 19 February 2015 diff hist +1 Download →Latest Release
13:4713:47, 19 February 2015 diff hist +31 Download No edit summary
13:4113:41, 19 February 2015 diff hist +196 Download No edit summary
13:3113:31, 19 February 2015 diff hist −32 Download No edit summary
13:2613:26, 19 February 2015 diff hist −781 Download →Tcl/Tk

User contributions for Michael Leuschel

16 April 2015

26 March 2015

23 March 2015

17 March 2015

10 March 2015

4 March 2015

26 February 2015

20 February 2015

19 February 2015