User contributions for Michael Leuschel

3 October 2010

• 16:4716:47, 3 October 2010 diff hist +49‎ User Manual ‎No edit summary

8 August 2010

• 15:2415:24, 8 August 2010 diff hist −5‎ Using ProB with Atelier B ‎ →‎Extra Features of ProB

30 July 2010

• 14:3914:39, 30 July 2010 diff hist +30‎ Download ‎ →‎Latest Release
• 14:3814:38, 30 July 2010 diff hist 0‎ Download ‎ →‎Latest Release
• 14:3314:33, 30 July 2010 diff hist +184‎ The ProB Animator and Model Checker ‎No edit summary
• 14:2914:29, 30 July 2010 diff hist +2‎ Download ‎ →‎Latest Release
• 14:2414:24, 30 July 2010 diff hist 0‎ Download ‎ →‎Latest Release
• 14:1014:10, 30 July 2010 diff hist −14‎ Download ‎ →‎Latest Release
• 13:1813:18, 30 July 2010 diff hist 0‎ Download ‎ →‎Latest Release

29 July 2010

• 05:3105:31, 29 July 2010 diff hist +378‎ Tutorial Rodin Parameters ‎ →‎Size of unspecified sets
• 05:2005:20, 29 July 2010 diff hist −7‎ Tutorial Rodin Parameters ‎ →‎Preferences
• 05:2005:20, 29 July 2010 diff hist 0‎ N File:RodinPrefs.png ‎No edit summary
• 05:2005:20, 29 July 2010 diff hist +358‎ Tutorial Rodin Parameters ‎No edit summary

28 July 2010

• 11:2011:20, 28 July 2010 diff hist −1‎ Tutorial Rodin Parameters ‎ →‎Size of unspecified sets
• 11:2011:20, 28 July 2010 diff hist 0‎ N File:ProBRodinPrefs.png ‎No edit summary
• 11:1911:19, 28 July 2010 diff hist +1,417‎ N Tutorial Rodin Parameters ‎ Created page with 'Category:User Manual == Preferences == You can modify the ProB preferences by selecting the ProB pane inside the Rodin preferences. We explain the most important preferenc…'
• 11:0111:01, 28 July 2010 diff hist +72‎ Tutorial ‎No edit summary

27 July 2010

• 08:0108:01, 27 July 2010 diff hist +113‎ Tutorial ‎No edit summary
• 07:5507:55, 27 July 2010 diff hist +28‎ Tutorial Rodin First Step ‎No edit summary
• 07:5407:54, 27 July 2010 diff hist 0‎ N File:ProBRodinAfterOpChoose.png ‎No edit summary
• 07:5407:54, 27 July 2010 diff hist +41‎ Tutorial Rodin First Step ‎No edit summary
• 07:5207:52, 27 July 2010 diff hist 0‎ N File:ProBRodinOpChoose.png ‎No edit summary
• 07:5207:52, 27 July 2010 diff hist 0‎ N File:ProBRodinInit.png ‎No edit summary
• 07:5107:51, 27 July 2010 diff hist 0‎ N File:ProBRodinStart.png ‎No edit summary
• 07:5107:51, 27 July 2010 diff hist +1,135‎ N Tutorial Rodin First Step ‎ Created page with 'Category:User Manual == Installation == Start off by installing the ProB Plugin for Rodin by choosing "Install new software...". == Starting ProB == Start by right click…'
• 07:4507:45, 27 July 2010 diff hist +150‎ Tutorial ‎No edit summary

26 July 2010

• 20:1320:13, 26 July 2010 diff hist +9‎ Tutorial Understanding the Complexity of B Animation ‎ →‎Complexity of Animation
• 20:1120:11, 26 July 2010 diff hist +22‎ Tutorial Understanding the Complexity of B Animation ‎ →‎Undecidability

8 July 2010

• 13:4013:40, 8 July 2010 diff hist +40‎ The ProB Animator and Model Checker ‎No edit summary
• 13:3913:39, 8 July 2010 diff hist +6‎ The ProB Animator and Model Checker ‎No edit summary
• 13:3913:39, 8 July 2010 diff hist −6‎ The ProB Animator and Model Checker ‎No edit summary

1 July 2010

• 13:1013:10, 1 July 2010 diff hist 0‎ Download ‎ →‎Latest Release

15 June 2010

• 11:1511:15, 15 June 2010 diff hist +950‎ N ProBLicence ‎ Created page with 'Category:User Manual == ProB Licence == (C) 2000-2010 Michael Leuschel (and many others; see below) All rights reserved. ProB can now be used freely for commercial, non-co…'
• 11:1311:13, 15 June 2010 diff hist +53‎ The ProB Animator and Model Checker ‎No edit summary

10 June 2010

• 14:1214:12, 10 June 2010 diff hist 0‎ Download ‎ →‎Latest Release

2 June 2010

• 09:5809:58, 2 June 2010 diff hist −1‎ Tutorial Setup Phases ‎ →‎1. Loading
• 09:5709:57, 2 June 2010 diff hist +1‎ Tutorial Setup Phases ‎ →‎1. Loading

12 April 2010

• 11:3811:38, 12 April 2010 diff hist +130‎ Why Prolog? ‎ →‎A small benchmark
• 11:3611:36, 12 April 2010 diff hist +107‎ Why Prolog? ‎ →‎Why SICStus Prolog
• 11:2611:26, 12 April 2010 diff hist +139‎ Why Prolog? ‎ →‎Why Prolog
• 09:1809:18, 12 April 2010 diff hist 0‎ Why Prolog? ‎ →‎Why Prolog

1 April 2010

• 09:2309:23, 1 April 2010 diff hist +118‎ Download ‎ →‎Latest Release
• 07:5407:54, 1 April 2010 diff hist 0‎ Download ‎ →‎Latest Release

30 March 2010

• 15:0515:05, 30 March 2010 diff hist 0‎ Download ‎ →‎Latest Release

24 March 2010

• 12:0912:09, 24 March 2010 diff hist +126‎ Tutorial Understanding ProB's Constraint Solver ‎No edit summary
• 12:0412:04, 24 March 2010 diff hist +245‎ Tutorial Understanding ProB's Constraint Solver ‎No edit summary
• 11:5611:56, 24 March 2010 diff hist +17‎ Tutorial Understanding the Complexity of B Animation ‎ →‎Undecidability

22 March 2010

• 09:0009:00, 22 March 2010 diff hist 0‎ Download ‎ →‎Latest Release

18 March 2010

• 16:4016:40, 18 March 2010 diff hist 0‎ Download ‎ →‎Latest Release

16 March 2010

• 16:0216:02, 16 March 2010 diff hist 0‎ Download ‎ →‎Latest Release