User contributions for Michael Leuschel

26 July 2016

• 13:3713:37, 26 July 2016 diff hist +1 Generating Documents with ProB and Latex →Commands
• 13:3713:37, 26 July 2016 diff hist +6 Generating Documents with ProB and Latex →Commands
• 13:3613:36, 26 July 2016 diff hist −1 Generating Documents with ProB and Latex →Commands
• 13:3613:36, 26 July 2016 diff hist −2 Generating Documents with ProB and Latex →Commands
• 13:3513:35, 26 July 2016 diff hist +1,291 Generating Documents with ProB and Latex →Commands
• 13:2813:28, 26 July 2016 diff hist +332 Generating Documents with ProB and Latex →Usage
• 12:5812:58, 26 July 2016 diff hist +52 Generating Documents with ProB and Latex →Usage
• 12:5812:58, 26 July 2016 diff hist 0 N File:Prob latex doc.pdf No edit summary
• 12:5712:57, 26 July 2016 diff hist +115 Generating Documents with ProB and Latex →Usage
• 12:4812:48, 26 July 2016 diff hist +950 N Generating Documents with ProB and Latex Created page with "ProB can (as of version 1.6.1) be used to process Latex files, i.e., the command-line tool probcli scans a given Latex file and replaces certain commands by processed results...."
• 12:4412:44, 26 July 2016 diff hist +47 Template:User Manual Index No edit summary

13 July 2016

• 14:2414:24, 13 July 2016 diff hist +306 Using the Command-Line Version of ProB →-l

30 June 2016

• 06:4306:43, 30 June 2016 diff hist +89 Links →Testimonials
• 06:3806:38, 30 June 2016 diff hist +158 Links →Testimonials

27 June 2016

• 07:5307:53, 27 June 2016 diff hist +85 Developer Manual No edit summary

23 June 2016

• 13:3713:37, 23 June 2016 diff hist +87 Links No edit summary

2 June 2016

• 08:2108:21, 2 June 2016 diff hist +39 User Manual →Sample Models

1 June 2016

• 14:1514:15, 1 June 2016 diff hist 0 Download →Latest Release
• 14:1514:15, 1 June 2016 diff hist 0 ProBLicence →ProB Licence
• 11:2511:25, 1 June 2016 diff hist 0 The ProB Animator and Model Checker No edit summary
• 05:5405:54, 1 June 2016 diff hist +254 Tips: B Idioms →If-Then-Else
• 05:5005:50, 1 June 2016 diff hist +27 Tips: B Idioms →map

27 May 2016

• 09:3209:32, 27 May 2016 diff hist +27 ABZ16 →Resources

15 May 2016

• 20:2120:21, 15 May 2016 diff hist +4 Summary of B Syntax →LET and IF-THEN-ELSE
• 20:2120:21, 15 May 2016 diff hist +6 Summary of B Syntax →LET and IF-THEN-ELSE
• 20:2020:20, 15 May 2016 diff hist +582 Summary of B Syntax →Differences with AtelierB/B4Free
• 20:1620:16, 15 May 2016 diff hist +295 Summary of B Syntax →Statements (aka Substitutions):

9 May 2016

• 14:0514:05, 9 May 2016 diff hist +49 N Overview.php Redirected page to The ProB Animator and Model Checker current

4 May 2016

• 12:1512:15, 4 May 2016 diff hist +11 ProB Release History No edit summary
• 12:1412:14, 4 May 2016 diff hist +171 ProB Release History No edit summary
• 07:4407:44, 4 May 2016 diff hist +147 Download →Java Requirements for B parser

27 April 2016

• 12:1712:17, 27 April 2016 diff hist −1 ABZ14 →ProB Live Visualisations
• 12:1712:17, 27 April 2016 diff hist −1 ABZ14 →ProB Live Visualisations
• 08:5508:55, 27 April 2016 diff hist −3 Download →Latest Release
• 08:5408:54, 27 April 2016 diff hist +6 Download →Latest Release
• 08:4508:45, 27 April 2016 diff hist −13 Download →Java Requirements for B parser
• 08:4408:44, 27 April 2016 diff hist +8 Download →Java Requirements for B parser
• 08:4308:43, 27 April 2016 diff hist −10 Download →Java Requirements for B parser
• 08:4208:42, 27 April 2016 diff hist +24 Download →Latest Release
• 08:3908:39, 27 April 2016 diff hist −113 Download →Tcl/Tk on Mac OS/X
• 08:3808:38, 27 April 2016 diff hist −128 Download →Tcl/Tk on Mac OS/X
• 08:2608:26, 27 April 2016 diff hist +260 Download →ProB for Rodin
• 08:2108:21, 27 April 2016 diff hist +23 Download →Latest Release
• 06:5506:55, 27 April 2016 diff hist +195 Download →Latest Release

26 April 2016

• 07:2907:29, 26 April 2016 diff hist −2 Download →Latest Release

23 April 2016

• 08:1908:19, 23 April 2016 diff hist −267 ProB Release History No edit summary
• 08:1808:18, 23 April 2016 diff hist +44,067 N ProB Release History Created page with "Full ProB release history until release 1.6.0: <pre> ProB: A B-animator, model checker, and constraint solver -------------------------------------------------------- (C) 20..."
• 08:1808:18, 23 April 2016 diff hist +79 Download →Short Release History
• 08:1608:16, 23 April 2016 diff hist +8 The ProB Animator and Model Checker No edit summary
• 08:1608:16, 23 April 2016 diff hist +352 Download →Short Release History