User contributions for Michael Leuschel

29 March 2016

• 17:3417:34, 29 March 2016 diff hist +362 Using the Command-Line Version of ProB No edit summary

14 March 2016

• 14:2514:25, 14 March 2016 diff hist +30 N Talk:FAQ Created page with "This page needs to be updated." current

9 March 2016

• 16:2616:26, 9 March 2016 diff hist +15 FormalPrototyping →Resources

26 February 2016

• 15:0115:01, 26 February 2016 diff hist 0 ProBLicence →ProB Licence
• 13:5413:54, 26 February 2016 diff hist +97 Editors for ProB →ProB Tcl/Tk Editor
• 13:5113:51, 26 February 2016 diff hist 0 N File:B-mode.el.zip No edit summary current
• 13:5113:51, 26 February 2016 diff hist +4 Editors for ProB →Emacs
• 13:5013:50, 26 February 2016 diff hist +5 Editors for ProB →Emacs
• 13:4513:45, 26 February 2016 diff hist +210 Editors for ProB →Atom
• 13:4213:42, 26 February 2016 diff hist +45 Editors for ProB No edit summary
• 13:4213:42, 26 February 2016 diff hist +32 Editors for ProB →Launching the editor in probcli
• 13:4013:40, 26 February 2016 diff hist +165 Editors for ProB →VIM
• 13:3713:37, 26 February 2016 diff hist +1 Links →Related Tools
• 13:3613:36, 26 February 2016 diff hist +115 Editors for ProB →BBEdit
• 13:3113:31, 26 February 2016 diff hist +122 General Presentation (tcl/tk) →The ProB Main Window current
• 13:2913:29, 26 February 2016 diff hist +1,367 N Editors for ProB Created page with " == ProB Tcl/Tk Editor == ProB Tcl/Tk contains an editor in which syntax errors are displayed and which can be used to edit B, CSP, Z and TLA+ models. The editor of Tcl/Tk, h..."
• 13:2013:20, 26 February 2016 diff hist +23 Template:User Manual Index No edit summary
• 10:0610:06, 26 February 2016 diff hist +100 Using the Command-Line Version of ProB →-version
• 10:0510:05, 26 February 2016 diff hist +631 Using the Command-Line Version of ProB →-version

25 February 2016

• 15:0915:09, 25 February 2016 diff hist −9 Download No edit summary
• 15:0715:07, 25 February 2016 diff hist +57 Download →Latest Release

24 February 2016

• 10:2710:27, 24 February 2016 diff hist +39 Download →Java Requirements for B parser
• 10:0710:07, 24 February 2016 diff hist +40 Download →Java Requirements for B parser
• 10:0610:06, 24 February 2016 diff hist +128 Download →Java Requirements for B parser
• 09:1109:11, 24 February 2016 diff hist −1 Download →Java Requirements for B parser
• 09:1109:11, 24 February 2016 diff hist +284 Download →Java Requirements for B parser
• 09:0609:06, 24 February 2016 diff hist +429 Download →Java Requirements for B parser

23 February 2016

• 16:4116:41, 23 February 2016 diff hist +97 Links →Tools using ProB

19 February 2016

• 07:4507:45, 19 February 2016 diff hist −41 Tutorial Co-Simulation No edit summary
• 07:4407:44, 19 February 2016 diff hist +283 Tutorial Co-Simulation No edit summary
• 07:4007:40, 19 February 2016 diff hist −2 Tutorial Co-Simulation →Overview
• 07:3807:38, 19 February 2016 diff hist +704 Tutorial Co-Simulation →Overview

18 February 2016

• 14:5214:52, 18 February 2016 diff hist −1 N-Bishops Puzzle No edit summary current
• 14:5114:51, 18 February 2016 diff hist +257 N-Bishops Puzzle No edit summary
• 14:4614:46, 18 February 2016 diff hist +136 N-Bishops Puzzle No edit summary
• 14:4314:43, 18 February 2016 diff hist 0 N File:ProB Bishops 8 14 Screenshot.png No edit summary current
• 14:4314:43, 18 February 2016 diff hist +1,046 N-Bishops Puzzle No edit summary
• 14:3714:37, 18 February 2016 diff hist +979 N N-Bishops Puzzle Created page with "This puzzle is a variation of the N-Queens puzzle: we try to place as many bishops as possible on a n by n chess board. In contrast to the N-Queens puzzle, one can place m..."
• 14:3114:31, 18 February 2016 diff hist +23 User Manual →Sample Models

8 February 2016

• 12:4512:45, 8 February 2016 diff hist +1,287 Tips: Writing Models for ProB →Existential Quantifiers

5 February 2016

• 07:1207:12, 5 February 2016 diff hist +16 Using ProB with Atelier B →Limitations
• 07:0907:09, 5 February 2016 diff hist −1 Using ProB with Atelier B →Extra Features of ProB
• 07:0907:09, 5 February 2016 diff hist +385 Using ProB with Atelier B No edit summary

3 February 2016

• 15:1415:14, 3 February 2016 diff hist +44 Tips: Writing Models for ProB →Transitive Closure in Event-B
• 15:1215:12, 3 February 2016 diff hist +499 Tips: Writing Models for ProB No edit summary
• 15:0315:03, 3 February 2016 diff hist +7 FAQ →How do I perform a self-check of ProB?
• 15:0215:02, 3 February 2016 diff hist +288 FAQ No edit summary
• 08:4208:42, 3 February 2016 diff hist +177 Tips: B Idioms →Let for predicates
• 08:4008:40, 3 February 2016 diff hist −2 Tips: B Idioms →Let for expressions
• 08:4008:40, 3 February 2016 diff hist +82 Tips: B Idioms →If-Then-Else