User contributions for Michael Leuschel

20 October 2016

• 12:1612:16, 20 October 2016 diff hist −54 ProB Release History No edit summary
• 12:1412:14, 20 October 2016 diff hist +1,583 ProB Release History No edit summary

7 October 2016

• 08:5408:54, 7 October 2016 diff hist −8 Download →Nightly Build

6 October 2016

• 10:5210:52, 6 October 2016 diff hist +187 Using ProB with KODKOD →More Preferences
• 10:5110:51, 6 October 2016 diff hist +148 Using ProB with KODKOD →SAT solver
• 10:4910:49, 6 October 2016 diff hist +862 Using ProB with KODKOD →SAT solver

5 October 2016

• 16:4616:46, 5 October 2016 diff hist +107 Links →Translating to Logic
• 16:4416:44, 5 October 2016 diff hist +109 Links →Other Links
• 16:4316:43, 5 October 2016 diff hist +91 Links →Other Links

4 October 2016

• 14:5914:59, 4 October 2016 diff hist +73 Using ProB with KODKOD →SAT solver
• 14:5614:56, 4 October 2016 diff hist +1 Using ProB with KODKOD →SAT solver
• 14:5214:52, 4 October 2016 diff hist +364 Using ProB with KODKOD →SAT solver

28 September 2016

• 11:1311:13, 28 September 2016 diff hist −5 Getting Involved →The Prolog Sources

27 September 2016

• 07:5907:59, 27 September 2016 diff hist +57 Links →Tools using ProB

16 September 2016

• 09:0609:06, 16 September 2016 diff hist +38 Tips: Writing Models for ProB →Existential Quantifiers current

9 September 2016

• 12:4112:41, 9 September 2016 diff hist +205 Tutorial Enabling Analysis →Performing Enabling Analysis within ProB

7 September 2016

• 11:4111:41, 7 September 2016 diff hist 0 File:Prob latex doc.pdf Michael Leuschel uploaded a new version of File:Prob latex doc.pdf current
• 11:3611:36, 7 September 2016 diff hist 0 File:Prob latex doc.pdf Michael Leuschel uploaded a new version of File:Prob latex doc.pdf
• 11:3611:36, 7 September 2016 diff hist +534 Generating Documents with ProB and Latex →Commands
• 11:3211:32, 7 September 2016 diff hist +663 Generating Documents with ProB and Latex →Commands
• 11:2611:26, 7 September 2016 diff hist +277 Generating Documents with ProB and Latex →Commands

26 July 2016

• 13:4513:45, 26 July 2016 diff hist +433 External Functions →Standard Libraries provided by ProB
• 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