User contributions for Michael Leuschel

19 February 2015

• 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
• 13:2513:25, 19 February 2015 diff hist +781 DownloadPriorVersions →Prior Versions of ProB
• 13:2413:24, 19 February 2015 diff hist 0 Download →Nightly Build
• 12:4012:40, 19 February 2015 diff hist +16 Download →Tcl/Tk
• 12:2712:27, 19 February 2015 diff hist +61 Download →Latest Release
• 12:2712:27, 19 February 2015 diff hist +86 Download No edit summary
• 12:2512:25, 19 February 2015 diff hist +698 Download No edit summary
• 07:3407:34, 19 February 2015 diff hist +1 ProB Cli No edit summary
• 07:3407:34, 19 February 2015 diff hist +53 ProB Cli No edit summary
• 07:3207:32, 19 February 2015 diff hist +88 ProB Cli No edit summary
• 07:2907:29, 19 February 2015 diff hist +135 ProB Cli No edit summary
• 07:1107:11, 19 February 2015 diff hist +340 Using the Command-Line Version of ProB →-mc

18 February 2015

• 15:4315:43, 18 February 2015 diff hist +156 Download →Nightly Build
• 09:5709:57, 18 February 2015 diff hist +1 Bounded Model Checking No edit summary
• 09:5009:50, 18 February 2015 diff hist +271 Download →Nightly Build

12 February 2015

• 16:4516:45, 12 February 2015 diff hist +242 Download →Nightly Build
• 16:4316:43, 12 February 2015 diff hist +184 Download No edit summary

11 February 2015

• 18:0418:04, 11 February 2015 diff hist −412 FAQ →What do the funny question marks in the "Operations" pane mean?
• 18:0318:03, 11 February 2015 diff hist −288 FAQ →The animator seems slow
• 18:0318:03, 11 February 2015 diff hist +45 FAQ →Which features of B are covered?
• 16:5916:59, 11 February 2015 diff hist 0 Tutorial Animation Tips →Using Random enumeration
• 16:5816:58, 11 February 2015 diff hist +158 Tutorial Animation Tips →Constraint-Based Model-Based Testing
• 16:5716:57, 11 February 2015 diff hist 0 Tutorial Animation Tips →Constraint-Based Model-Based Testing
• 16:5616:56, 11 February 2015 diff hist +72 Tutorial Animation Tips →Using Constraint-Based Validation Techniques
• 16:5516:55, 11 February 2015 diff hist 0 N File:CBCMBTTreeResult.png No edit summary current
• 16:5516:55, 11 February 2015 diff hist 0 N File:CBCMBTResult.png No edit summary current
• 16:5516:55, 11 February 2015 diff hist 0 N File:CBCMBTDialog.png No edit summary current
• 16:5516:55, 11 February 2015 diff hist 0 N File:CBCMBTMenu.png No edit summary current
• 16:5516:55, 11 February 2015 diff hist +601 Tutorial Animation Tips →Using Constraint-Based Validation Techniques
• 16:4916:49, 11 February 2015 diff hist 0 Tutorial Animation Tips →Using Constraint-Based Validation Techniques
• 16:4916:49, 11 February 2015 diff hist 0 Tutorial Animation Tips →Using Constraint-Based Validation Techniques
• 16:4916:49, 11 February 2015 diff hist 0 N File:FindSequenceResult.png No edit summary current
• 16:4816:48, 11 February 2015 diff hist 0 N File:FindSequenceDialog.png No edit summary current
• 16:4816:48, 11 February 2015 diff hist 0 N File:FindSequenceMenu.png No edit summary current
• 16:4816:48, 11 February 2015 diff hist +807 Tutorial Animation Tips →Using Constraint-Based Validation Techniques
• 16:4116:41, 11 February 2015 diff hist 0 Tutorial Animation Tips →Using Random enumeration
• 16:4016:40, 11 February 2015 diff hist 0 N File:ProB Lift Randomise.png No edit summary current
• 16:4016:40, 11 February 2015 diff hist +128 Tutorial Animation Tips →Using Random enumeration
• 16:3716:37, 11 February 2015 diff hist +3 Tutorial Animation Tips →Using Random enumeration
• 16:3416:34, 11 February 2015 diff hist +509 Tutorial Animation Tips →Operation with many solutions for the parameters

30 January 2015

• 07:0807:08, 30 January 2015 diff hist 0 ProB for Rodin →Camille