User contributions for Michael Leuschel

10 February 2017

• 15:5915:59, 10 February 2017 diff hist +1 User Manual →Sample Models
• 15:5815:58, 10 February 2017 diff hist +21 User Manual →Sample Models
• 11:0611:06, 10 February 2017 diff hist +221 Prolog Coding Guidelines →General Guidelines
• 11:0511:05, 10 February 2017 diff hist +303 Prolog Coding Guidelines →Errors

7 February 2017

• 06:4406:44, 7 February 2017 diff hist +138 Tutorial Rodin First Step →Installation
• 06:4406:44, 7 February 2017 diff hist +1 Tutorial Rodin First Step →Installation
• 06:4306:43, 7 February 2017 diff hist +147 Download →ProB for Rodin

2 February 2017

• 15:0515:05, 2 February 2017 diff hist +96 Download →Graphviz Requirements
• 15:0315:03, 2 February 2017 diff hist +37 Download →Graphviz Requirements
• 15:0215:02, 2 February 2017 diff hist +56 Download No edit summary

1 February 2017

• 15:2915:29, 1 February 2017 diff hist +66 Summary of B Syntax →Differences with AtelierB/B4Free
• 15:2615:26, 1 February 2017 diff hist −124 Summary of B Syntax →Differences with AtelierB/B4Free
• 15:2115:21, 1 February 2017 diff hist +70 Summary of B Syntax →Other notes

31 January 2017

• 16:0316:03, 31 January 2017 diff hist +79 Links →Tools using ProB

26 January 2017

• 08:4708:47, 26 January 2017 diff hist +54 Links →Tools using ProB
• 08:4608:46, 26 January 2017 diff hist −8 Links →Tools using ProB
• 08:4508:45, 26 January 2017 diff hist +139 Links →Tools using ProB

4 January 2017

• 13:4613:46, 4 January 2017 diff hist +104 Using the Command-Line Version of ProB →-repl

23 December 2016

• 09:1609:16, 23 December 2016 diff hist +1,222 Proving Theorems in the ProB REPL No edit summary

22 December 2016

• 09:1909:19, 22 December 2016 diff hist +3,354 Proving Theorems in the ProB REPL No edit summary
• 09:0909:09, 22 December 2016 diff hist +194 Proving Theorems in the ProB REPL No edit summary
• 09:0809:08, 22 December 2016 diff hist +1,839 N Proving Theorems in the ProB REPL Created page with "For this example we try and use the REPL (Read-Eval-Print-Loop) of ProB to prove theorems. The REPL can either be started using probcli's command <tt>-repl</tt> or by starting..."
• 08:5508:55, 22 December 2016 diff hist +40 User Manual →Sample Models

20 December 2016

• 14:0614:06, 20 December 2016 diff hist +175 Links →Tools using ProB
• 13:4713:47, 20 December 2016 diff hist +280 Links →Tools using ProB

22 November 2016

• 18:2318:23, 22 November 2016 diff hist +31 Using ProB with Atelier B →Atelier B Plugin

12 November 2016

• 13:4413:44, 12 November 2016 diff hist +84 Recursively Defined Functions →Operations applicable for recursive functions current
• 13:4213:42, 12 November 2016 diff hist −59 Recursively Defined Functions →Operations applicable for recursive functions
• 13:3713:37, 12 November 2016 diff hist +321 Recursively Defined Functions →Recursive Function Definitions in ProB

9 November 2016

• 08:3108:31, 9 November 2016 diff hist +2 Using the Command-Line Version of ProB →-logxml_write_vars PREFIX
• 08:3108:31, 9 November 2016 diff hist +453 Using the Command-Line Version of ProB →-logxml
• 08:2708:27, 9 November 2016 diff hist +8 Using the Command-Line Version of ProB →-strict
• 08:2708:27, 9 November 2016 diff hist +93 Using the Command-Line Version of ProB →-strict
• 08:2108:21, 9 November 2016 diff hist +35 Using the Command-Line Version of ProB →-no
• 08:1708:17, 9 November 2016 diff hist −1 Using the Command-Line Version of ProB →-no
• 08:1608:16, 9 November 2016 diff hist +62 Using the Command-Line Version of ProB →-no
• 08:1308:13, 9 November 2016 diff hist +33 Using the Command-Line Version of ProB →-execute
• 08:0908:09, 9 November 2016 diff hist +1,067 Using the Command-Line Version of ProB →-animate
• 07:0907:09, 9 November 2016 diff hist −12 Using the Command-Line Version of ProB No edit summary
• 07:0807:08, 9 November 2016 diff hist −1 Using the Command-Line Version of ProB No edit summary

25 October 2016

• 05:5705:57, 25 October 2016 diff hist −2 Generating Documents with ProB and Latex →Some Examples current
• 05:5505:55, 25 October 2016 diff hist 0 N File:Sbmf 2016 latex.pdf No edit summary current
• 05:5405:54, 25 October 2016 diff hist 0 N File:Puzzle latex presentation.pdf No edit summary current
• 05:5405:54, 25 October 2016 diff hist −28 Generating Documents with ProB and Latex →Some Examples
• 05:5205:52, 25 October 2016 diff hist +143 Generating Documents with ProB and Latex →Some Examples
• 05:5005:50, 25 October 2016 diff hist 0 Generating Documents with ProB and Latex →Some Examples
• 05:5005:50, 25 October 2016 diff hist +163 Generating Documents with ProB and Latex No edit summary

24 October 2016

• 10:4010:40, 24 October 2016 diff hist +41 Links →Tools using ProB

20 October 2016

• 12:2112:21, 20 October 2016 diff hist +249 The ProB Animator and Model Checker No edit summary
• 12:2012:20, 20 October 2016 diff hist +250 Download →Short Release History