User contributions for Jens Bendisposto

13 February 2020

• 12:4712:47, 13 February 2020 diff hist +1‎ ProB Logic Calculator ‎No edit summary
• 12:4712:47, 13 February 2020 diff hist −1‎ ProB Logic Calculator ‎No edit summary
• 12:4612:46, 13 February 2020 diff hist −132‎ ProB Logic Calculator ‎No edit summary

19 July 2018

• 12:2412:24, 19 July 2018 diff hist +26‎ Main Page/ ‎ Redirected page to The ProB Animator and Model Checker current
• 12:2312:23, 19 July 2018 diff hist +23‎ N Main Page/ ‎ Redirected page to Main Page

20 June 2018

• 09:4409:44, 20 June 2018 diff hist −181‎ Getting Involved ‎No edit summary

14 February 2018

• 18:3118:31, 14 February 2018 diff hist −5‎ ProB Java API ‎ →‎Documentation

13 February 2018

• 02:5202:52, 13 February 2018 diff hist −22‎ ProB Java API ‎ →‎Documentation

7 February 2018

• 12:5912:59, 7 February 2018 diff hist +12‎ Bugs ‎No edit summary
• 12:4812:48, 7 February 2018 diff hist −75‎ Bugs ‎No edit summary
• 12:4612:46, 7 February 2018 diff hist +44‎ Bugs ‎No edit summary
• 12:4412:44, 7 February 2018 diff hist +153‎ Bugs ‎No edit summary
• 12:4112:41, 7 February 2018 diff hist +13‎ Bugs ‎No edit summary
• 12:3912:39, 7 February 2018 diff hist +644‎ Bugs ‎No edit summary
• 12:3912:39, 7 February 2018 diff hist +21‎ Bugs ‎No edit summary

6 October 2017

• 07:5307:53, 6 October 2017 diff hist +4‎ ProB Logic Calculator ‎No edit summary

4 October 2017

• 15:2215:22, 4 October 2017 diff hist −1‎ ProB Logic Calculator ‎No edit summary
• 15:2115:21, 4 October 2017 diff hist −12‎ ProB Logic Calculator ‎No edit summary

30 September 2016

• 08:0908:09, 30 September 2016 diff hist −83‎ ProB Java API ‎ →‎Additional Material

29 July 2016

• 12:4612:46, 29 July 2016 diff hist +24‎ Bugs ‎No edit summary

15 October 2015

• 11:1711:17, 15 October 2015 diff hist −1‎ The ProB Animator and Model Checker ‎ →‎Implementation

18 September 2015

• 15:4815:48, 18 September 2015 diff hist +118‎ User:Jens Bendisposto ‎No edit summary current
• 15:4715:47, 18 September 2015 diff hist +59‎ User:Jens Bendisposto ‎No edit summary
• 15:4615:46, 18 September 2015 diff hist −177‎ User:Jens Bendisposto ‎No edit summary
• 15:4515:45, 18 September 2015 diff hist +416‎ User:Jens Bendisposto ‎No edit summary

14 September 2015

• 10:2910:29, 14 September 2015 diff hist −212‎ ProB Logic Calculator ‎No edit summary
• 10:2810:28, 14 September 2015 diff hist −154‎ ProB Logic Calculator ‎No edit summary

22 June 2015

• 07:2907:29, 22 June 2015 diff hist +1‎ MediaWiki:Sidebar ‎No edit summary

27 April 2015

• 11:2511:25, 27 April 2015 diff hist 0‎ ProB Logic Calculator ‎No edit summary
• 11:2411:24, 27 April 2015 diff hist 0‎ ProB Logic Calculator ‎No edit summary

26 April 2015

• 17:2417:24, 26 April 2015 diff hist 0‎ ProB Logic Calculator ‎No edit summary
• 17:1617:16, 26 April 2015 diff hist −95‎ ProB Logic Calculator ‎No edit summary
• 17:1417:14, 26 April 2015 diff hist +216‎ ProB Logic Calculator ‎No edit summary

17 April 2015

• 08:2308:23, 17 April 2015 diff hist −55‎ Blocks World (Directed Model Checking) ‎ Undo revision 2812 by Jens Bendisposto (Talk)
• 08:2208:22, 17 April 2015 diff hist +55‎ Blocks World (Directed Model Checking) ‎No edit summary

9 April 2015

• 04:1304:13, 9 April 2015 diff hist +2,033‎ DMC ‎No edit summary

26 March 2015

• 11:1711:17, 26 March 2015 diff hist +52‎ N Sefm2015 ‎ Created page with '{{DISPLAYTITLE:Benchmarks for the ProB (Dis)prover}}'
• 11:1611:16, 26 March 2015 diff hist +119‎ N Benchmarks ‎ Created page with 'Here you will find links to benchmarks (sometimes with raw data) we produced to evaluate ProB. Disprover' current
• 11:1411:14, 26 March 2015 diff hist +25‎ MediaWiki:Sidebar ‎No edit summary

18 March 2015

• 12:1712:17, 18 March 2015 diff hist +39‎ ParB ‎ →‎Running in the Cloud/Cluster
• 12:1412:14, 18 March 2015 diff hist +790‎ ParB ‎No edit summary
• 10:4110:41, 18 March 2015 diff hist +71‎ DMC ‎No edit summary
• 10:3110:31, 18 March 2015 diff hist +211‎ ParB ‎No edit summary
• 10:2710:27, 18 March 2015 diff hist −4‎ ParB ‎No edit summary
• 10:2010:20, 18 March 2015 diff hist +1,779‎ ParB ‎No edit summary

16 March 2015

• 17:3417:34, 16 March 2015 diff hist +71‎ N ParB ‎ Created page with 'This page explains how to run the distributed model checking Prototype.'
• 17:3417:34, 16 March 2015 diff hist −6‎ User:Jens Bendisposto ‎No edit summary
• 17:3217:32, 16 March 2015 diff hist +110‎ N DMC ‎ Created page with 'This page explains the methodology of the experiments carried out to evaluate the distributed version of ProB.'
• 17:3117:31, 16 March 2015 diff hist −36‎ User:Jens Bendisposto ‎No edit summary
• 11:1411:14, 16 March 2015 diff hist +16‎ User:Jens Bendisposto ‎No edit summary
• 11:1311:13, 16 March 2015 diff hist −16‎ Template:Feedback ‎No edit summary
• 11:1211:12, 16 March 2015 diff hist +16‎ Template:Feedback ‎ →‎Feedback
• 11:1011:10, 16 March 2015 diff hist +13‎ User:Jens Bendisposto ‎No edit summary
• 11:1011:10, 16 March 2015 diff hist +32‎ User:Jens Bendisposto ‎No edit summary

16 February 2015

• 08:0708:07, 16 February 2015 diff hist +230‎ ABZ14 ‎No edit summary

12 January 2015

• 16:0216:02, 12 January 2015 diff hist +2‎ Prob2-advance-release ‎No edit summary current
• 16:0116:01, 12 January 2015 diff hist 0‎ File:Install prob2.png ‎ uploaded a new version of "File:Install prob2.png" current
• 16:0016:00, 12 January 2015 diff hist 0‎ N File:Install prob2.png ‎No edit summary
• 16:0016:00, 12 January 2015 diff hist +289‎ Prob2-advance-release ‎No edit summary
• 15:4915:49, 12 January 2015 diff hist +139‎ Prob2-advance-release ‎No edit summary

29 November 2014

• 07:1407:14, 29 November 2014 diff hist −4‎ Rodin User and Developer Workshop 2013 - Tutorial ‎ →‎Constraint solver

27 November 2014

• 09:2309:23, 27 November 2014 diff hist +4‎ Prob2-advance-release ‎No edit summary
• 09:2309:23, 27 November 2014 diff hist +7‎ Prob2-advance-release ‎No edit summary
• 09:1909:19, 27 November 2014 diff hist +30‎ N Prob2-advance-release ‎ Created page with '== ProB 2.0 Advance Release =='

26 November 2014

• 08:5908:59, 26 November 2014 diff hist +28‎ N Prob2-alpha ‎ Created page with '== ProB 2.0 Alpha Release ==' current

23 July 2014

• 11:1011:10, 23 July 2014 diff hist +41‎ Installation ‎No edit summary
• 10:1810:18, 23 July 2014 diff hist 0‎ ABZ14 ‎No edit summary

11 July 2014

• 14:5614:56, 11 July 2014 diff hist 0‎ ABZ14 ‎ →‎ProB Live Visualization (click to join)

10 July 2014

• 13:5213:52, 10 July 2014 diff hist −23‎ Rodin User and Developer Workshop 2013 - Tutorial ‎ →‎Traces

5 July 2014

• 20:0920:09, 5 July 2014 diff hist −543‎ ProB Java API Tutorial ‎ →‎Classical B

1 July 2014

• 11:2611:26, 1 July 2014 diff hist 0‎ ABZ14 ‎No edit summary

4 June 2014

• 05:5205:52, 4 June 2014 diff hist −8‎ ABZ14 ‎ Undo revision 2167 by Jens Bendisposto (Talk)

6 April 2014

• 06:0606:06, 6 April 2014 diff hist +8‎ ABZ14 ‎No edit summary

18 March 2014

• 15:1015:10, 18 March 2014 diff hist +6‎ Rodin User and Developer Workshop 2013 - Tutorial ‎ →‎The State Space

11 March 2014

• 13:0613:06, 11 March 2014 diff hist 0‎ ABZ14 ‎No edit summary

20 February 2014

• 12:2712:27, 20 February 2014 diff hist 0‎ ABZ14 ‎No edit summary

18 February 2014

• 13:3813:38, 18 February 2014 diff hist 0‎ ABZ14 ‎No edit summary

17 February 2014

• 08:4608:46, 17 February 2014 diff hist 0‎ ABZ14 ‎No edit summary

14 February 2014

• 12:5012:50, 14 February 2014 diff hist +16‎ ABZ14 ‎ →‎Live Visualization
• 12:4912:49, 14 February 2014 diff hist +242‎ ABZ14 ‎No edit summary
• 12:4212:42, 14 February 2014 diff hist 0‎ N File:Landing gear.png ‎No edit summary
• 12:4212:42, 14 February 2014 diff hist 0‎ N File:Langing gear.png ‎No edit summary current

3 February 2014

• 15:4715:47, 3 February 2014 diff hist +125‎ ABZ14 ‎ →‎Links
• 15:4515:45, 3 February 2014 diff hist +278‎ ABZ14 ‎No edit summary
• 15:4115:41, 3 February 2014 diff hist +57‎ ABZ14 ‎No edit summary
• 15:4015:40, 3 February 2014 diff hist +13‎ ABZ14 ‎ →‎Ressources
• 15:4015:40, 3 February 2014 diff hist 0‎ N File:LandingGear.zip ‎No edit summary
• 15:4015:40, 3 February 2014 diff hist −16‎ ABZ14 ‎No edit summary
• 15:1615:16, 3 February 2014 diff hist −16‎ m ABZ14 ‎ →‎Video
• 15:1315:13, 3 February 2014 diff hist +30‎ ABZ14 ‎No edit summary
• 15:1115:11, 3 February 2014 diff hist +4‎ ABZ14 ‎No edit summary
• 15:0715:07, 3 February 2014 diff hist −15‎ ABZ14 ‎ →‎Video

31 January 2014

• 16:3916:39, 31 January 2014 diff hist +16‎ N ABZ14 ‎ Created page with '== Case Study =='

2 October 2013

• 11:4911:49, 2 October 2013 diff hist +2‎ Rodin User and Developer Workshop 2013 - Tutorial ‎ →‎Setup

9 September 2013

• 06:5206:52, 9 September 2013 diff hist +1‎ Game of Life ‎No edit summary current

22 August 2013

• 13:2713:27, 22 August 2013 diff hist +7‎ Rodin User and Developer Workshop 2013 - Tutorial ‎ →‎Evaluation

28 June 2013

• 20:4120:41, 28 June 2013 diff hist +32‎ Rodin User and Developer Workshop 2013 - Tutorial ‎ →‎Constraint solver
• 20:4020:40, 28 June 2013 diff hist +23‎ Rodin User and Developer Workshop 2013 - Tutorial ‎ →‎Evaluation
• 20:3720:37, 28 June 2013 diff hist +17‎ Rodin User and Developer Workshop 2013 - Tutorial ‎ →‎Traces
• 20:3620:36, 28 June 2013 diff hist +12‎ Rodin User and Developer Workshop 2013 - Tutorial ‎ →‎The State Space
• 20:3320:33, 28 June 2013 diff hist +1‎ Rodin User and Developer Workshop 2013 - Tutorial ‎ →‎The State Space
• 20:3220:32, 28 June 2013 diff hist +23‎ Rodin User and Developer Workshop 2013 - Tutorial ‎ →‎The model
• 20:3020:30, 28 June 2013 diff hist +1‎ Rodin User and Developer Workshop 2013 - Tutorial ‎ →‎Preparation

20 June 2013

• 08:0808:08, 20 June 2013 diff hist 0‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
• 08:0708:07, 20 June 2013 diff hist +31‎ N Template:Bugtrack ‎ moved Template:Bugtrack to Template:Feedback current
• 08:0708:07, 20 June 2013 diff hist 0‎ m Template:Feedback ‎ moved Template:Bugtrack to Template:Feedback
• 08:0708:07, 20 June 2013 diff hist +1‎ Template:Feedback ‎No edit summary

19 June 2013

• 08:4608:46, 19 June 2013 diff hist −10‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
• 08:4608:46, 19 June 2013 diff hist +14‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
• 08:4608:46, 19 June 2013 diff hist −9‎ User:Jens Bendisposto ‎No edit summary
• 08:4508:45, 19 June 2013 diff hist +774‎ N Template:Feedback ‎ Created page with '== Feedback == <html> <script type="text/javascript" src="http://jira.cobra.cs.uni-duesseldorf.de/s/en_UStsb6zr-418945332/850/2/1.2.9/_/download/batch/com.atlassian.jira.collect…'
• 08:4508:45, 19 June 2013 diff hist −8‎ User:Jens Bendisposto ‎No edit summary
• 08:4308:43, 19 June 2013 diff hist +118‎ Jens Bendisposto:Bugtrack ‎No edit summary current
• 08:4008:40, 19 June 2013 diff hist +50‎ Jens Bendisposto:Bugtrack ‎No edit summary
• 08:3108:31, 19 June 2013 diff hist +14‎ Jens Bendisposto:Bugtrack ‎No edit summary
• 08:3008:30, 19 June 2013 diff hist +592‎ N Jens Bendisposto:Bugtrack ‎ Created page with '<script type="text/javascript" src="http://jira.cobra.cs.uni-duesseldorf.de/s/en_UStsb6zr-418945332/850/2/1.2.9/_/download/batch/com.atlassian.jira.collector.plugin.jira-issue-co…'
• 08:3008:30, 19 June 2013 diff hist −209‎ User:Jens Bendisposto ‎No edit summary
• 08:3008:30, 19 June 2013 diff hist +17‎ User:Jens Bendisposto ‎No edit summary
• 08:2908:29, 19 June 2013 diff hist −91‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
• 08:2408:24, 19 June 2013 diff hist −116,600‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
• 08:2308:23, 19 June 2013 diff hist +115,960‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
• 08:1908:19, 19 June 2013 diff hist −4‎ Rodin User and Developer Workshop 2013 - Tutorial ‎ →‎Provide Feedback
• 08:1808:18, 19 June 2013 diff hist +125‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
• 08:1508:15, 19 June 2013 diff hist +610‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
• 08:1008:10, 19 June 2013 diff hist 0‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
• 08:1008:10, 19 June 2013 diff hist 0‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
• 08:0908:09, 19 June 2013 diff hist −3‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
• 08:0908:09, 19 June 2013 diff hist +53‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary

13 June 2013

• 12:3912:39, 13 June 2013 diff hist −1‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
• 12:3912:39, 13 June 2013 diff hist +11‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
• 12:3812:38, 13 June 2013 diff hist +9,173‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
• 11:2111:21, 13 June 2013 diff hist −10‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
• 11:2011:20, 13 June 2013 diff hist −3‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
• 11:1911:19, 13 June 2013 diff hist −9‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
• 11:1711:17, 13 June 2013 diff hist +1,175‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
• 09:4609:46, 13 June 2013 diff hist 0‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
• 09:4209:42, 13 June 2013 diff hist +23‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
• 09:4109:41, 13 June 2013 diff hist +58‎ N File:Scheduler tutorial2013.zip ‎ Example Project for Rodin User and Developer Workshop 2013 current
• 09:4009:40, 13 June 2013 diff hist +751‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
• 09:2109:21, 13 June 2013 diff hist −103‎ Rodin User and Developer Workshop 2013 - Tutorial ‎ Blanked the page

10 April 2013

• 09:4609:46, 10 April 2013 diff hist +100‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
• 09:3509:35, 10 April 2013 diff hist +62‎ Tutorial13 ‎ Redirected page to Rodin User and Developer Workshop 2013 - Tutorial current
• 09:3409:34, 10 April 2013 diff hist +1‎ N Tutorial13 ‎ Created page with 'x'
• 09:3409:34, 10 April 2013 diff hist −54‎ Developer Manual ‎No edit summary
• 09:3309:33, 10 April 2013 diff hist +3‎ N Rodin User and Developer Workshop 2013 - Tutorial ‎ Created page with 'tbd'
• 09:3309:33, 10 April 2013 diff hist +54‎ Developer Manual ‎No edit summary
• 09:3309:33, 10 April 2013 diff hist +11‎ Developer Manual ‎No edit summary
• 09:2309:23, 10 April 2013 diff hist +2‎ Developer Manual ‎No edit summary
• 09:2309:23, 10 April 2013 diff hist −26‎ Developer Manual ‎No edit summary
• 09:2309:23, 10 April 2013 diff hist +80‎ Developer Manual ‎No edit summary

24 March 2013

• 11:0611:06, 24 March 2013 diff hist −94‎ Developer Manual ‎ →‎Git Migration

7 March 2013

• 14:2914:29, 7 March 2013 diff hist −6‎ Download ‎No edit summary

1 February 2013

• 14:3014:30, 1 February 2013 diff hist +83‎ Developer Manual ‎ →‎ProB 2.0
• 10:2710:27, 1 February 2013 diff hist +69‎ Developer Manual ‎No edit summary

29 January 2013

• 09:5709:57, 29 January 2013 diff hist +1‎ Developer Manual ‎No edit summary
• 09:5709:57, 29 January 2013 diff hist +22‎ Developer Manual ‎No edit summary

23 November 2012

• 13:4413:44, 23 November 2012 diff hist +46‎ Download ‎No edit summary
• 13:4413:44, 23 November 2012 diff hist +130‎ Download ‎No edit summary

24 October 2012

• 04:3204:32, 24 October 2012 diff hist +58‎ Download ‎ →‎Timed-CSP Simulator
• 04:2804:28, 24 October 2012 diff hist +38‎ Download ‎ →‎Timed-CSP Simulator

4 October 2012

• 15:3815:38, 4 October 2012 diff hist −2,890‎ Getting Involved ‎ Replaced content with 'Category:Developer Manual __NOTOC__ see the README in our [https://github.com/bendisposto/prob Github Repository]'

13 September 2012

• 09:5109:51, 13 September 2012 diff hist +252‎ Nm User talk:Marc Buengener ‎ Welcome! current
• 09:5109:51, 13 September 2012 diff hist 0‎ Nm User:Marc Buengener ‎ Creating user page with biography of new user. current

7 September 2012

• 08:4508:45, 7 September 2012 diff hist +139‎ Jens Bendisposto:Model Checkers ‎No edit summary
• 08:4408:44, 7 September 2012 diff hist +1,192‎ N Jens Bendisposto:Model Checkers ‎ Created page with '*'''SPIN ''' http://spinroot.com/spin/whatispin.html *'''PAT ''' http://www.comp.nus.edu.sg/~pat/ *'''MALPAS ''' http://www.atkinsglobal.co.uk/sectors-and-services/sectors/d…'
• 08:4208:42, 7 September 2012 diff hist +2,483‎ N Jens Bendisposto:Conferences ‎ Created page with '* '''VMCAI ''' International Conference on Verification, Model Checking, and Abstract Interpretation * '''CAV ''' International Conference on Computer Aided Verification *…'
• 08:3808:38, 7 September 2012 diff hist +1‎ User:Jens Bendisposto ‎No edit summary
• 08:3708:37, 7 September 2012 diff hist +70‎ User:Jens Bendisposto ‎No edit summary

22 August 2012

• 11:5511:55, 22 August 2012 diff hist +6‎ User:Jens Bendisposto ‎No edit summary

6 August 2012

• 19:1919:19, 6 August 2012 diff hist +49‎ Team ‎No edit summary

21 June 2012

• 11:4311:43, 21 June 2012 diff hist +247‎ Nm User talk:Sebastian Krings ‎ Welcome! current
• 11:4311:43, 21 June 2012 diff hist 0‎ Nm User:Sebastian Krings ‎ Creating user page with biography of new user. current

8 June 2012

• 10:5410:54, 8 June 2012 diff hist −115‎ ProB Logic Calculator ‎No edit summary
• 10:5210:52, 8 June 2012 diff hist +29‎ ProB Logic Calculator ‎No edit summary
• 10:5010:50, 8 June 2012 diff hist 0‎ ProB Logic Calculator ‎No edit summary
• 10:5010:50, 8 June 2012 diff hist 0‎ ProB Logic Calculator ‎No edit summary
• 10:5010:50, 8 June 2012 diff hist 0‎ ProB Logic Calculator ‎No edit summary
• 10:5010:50, 8 June 2012 diff hist −1‎ ProB Logic Calculator ‎No edit summary
• 10:4910:49, 8 June 2012 diff hist −1‎ ProB Logic Calculator ‎No edit summary
• 10:4910:49, 8 June 2012 diff hist +9,696‎ ProB Logic Calculator ‎No edit summary
• 10:4810:48, 8 June 2012 diff hist +39‎ N ProB Logic Calculator ‎ moved ProB Logic Calculator to ProB Logic Calculator old over redirect
• 10:4810:48, 8 June 2012 diff hist +1‎ User:Jens Bendisposto ‎No edit summary
• 10:4210:42, 8 June 2012 diff hist 0‎ User:Jens Bendisposto ‎No edit summary
• 10:3610:36, 8 June 2012 diff hist −1‎ m User:Jens Bendisposto ‎No edit summary
• 10:3610:36, 8 June 2012 diff hist +8‎ User:Jens Bendisposto ‎No edit summary
• 10:3010:30, 8 June 2012 diff hist 0‎ User:Jens Bendisposto ‎No edit summary

31 May 2012

• 20:4620:46, 31 May 2012 diff hist 0‎ User:Jens Bendisposto ‎No edit summary

18 May 2012

• 07:3807:38, 18 May 2012 diff hist +328‎ Getting Involved ‎ →‎Setup target platform

17 May 2012

• 12:1612:16, 17 May 2012 diff hist +29‎ User:Jens Bendisposto ‎No edit summary
• 12:1512:15, 17 May 2012 diff hist 0‎ User:Jens Bendisposto ‎No edit summary
• 12:1512:15, 17 May 2012 diff hist 0‎ User:Jens Bendisposto ‎No edit summary
• 12:1512:15, 17 May 2012 diff hist +11‎ User:Jens Bendisposto ‎No edit summary
• 12:1412:14, 17 May 2012 diff hist 0‎ User:Jens Bendisposto ‎No edit summary
• 12:1412:14, 17 May 2012 diff hist 0‎ User:Jens Bendisposto ‎No edit summary
• 12:0412:04, 17 May 2012 diff hist +1‎ User:Jens Bendisposto ‎No edit summary
• 11:4011:40, 17 May 2012 diff hist −60‎ User:Jens Bendisposto ‎No edit summary
• 11:3911:39, 17 May 2012 diff hist −1‎ User:Jens Bendisposto ‎No edit summary
• 11:3811:38, 17 May 2012 diff hist +201‎ User:Jens Bendisposto ‎No edit summary

16 May 2012

• 18:1418:14, 16 May 2012 diff hist +4‎ Getting Involved ‎ →‎The Parser Library
• 18:1318:13, 16 May 2012 diff hist −250‎ Getting Involved ‎ →‎Content of the repository
• 18:1218:12, 16 May 2012 diff hist −166‎ Getting Involved ‎No edit summary
• 18:1218:12, 16 May 2012 diff hist −436‎ Getting Involved ‎ →‎Setup

4 May 2012

• 12:4912:49, 4 May 2012 diff hist +245‎ Nm User talk:Marc Fontaine ‎ Welcome! current
• 12:4912:49, 4 May 2012 diff hist 0‎ Nm User:Marc Fontaine ‎ Creating user page with biography of new user. current

26 April 2012

• 11:1211:12, 26 April 2012 diff hist +6‎ Bugs ‎No edit summary
• 11:0811:08, 26 April 2012 diff hist +1‎ Bugs ‎No edit summary
• 11:0811:08, 26 April 2012 diff hist +3‎ Bugs ‎No edit summary
• 11:0711:07, 26 April 2012 diff hist +18‎ Bugs ‎No edit summary
• 11:0511:05, 26 April 2012 diff hist +122‎ Bugs ‎No edit summary
• 11:0411:04, 26 April 2012 diff hist 0‎ N File:Jira.png ‎No edit summary current
• 11:0311:03, 26 April 2012 diff hist −8‎ Bugs ‎No edit summary

16 April 2012

• 11:5311:53, 16 April 2012 diff hist 0‎ MediaWiki:Sidebar ‎No edit summary
• 11:5311:53, 16 April 2012 diff hist +23‎ MediaWiki:Sidebar ‎No edit summary
• 11:5211:52, 16 April 2012 diff hist −59‎ ProBLicence ‎No edit summary

30 March 2012

• 11:3311:33, 30 March 2012 diff hist −18‎ Template:Shell ‎No edit summary current
• 11:3311:33, 30 March 2012 diff hist +8‎ User:Jens Bendisposto ‎No edit summary
• 11:3211:32, 30 March 2012 diff hist +4‎ Template:Shell ‎No edit summary
• 11:2911:29, 30 March 2012 diff hist +23‎ Template:Shell ‎No edit summary
• 11:2411:24, 30 March 2012 diff hist +16‎ Template:Shell ‎No edit summary
• 11:2311:23, 30 March 2012 diff hist +1‎ Template:Shell ‎No edit summary
• 11:1111:11, 30 March 2012 diff hist +27‎ Template:Shell ‎No edit summary
• 11:1011:10, 30 March 2012 diff hist +38‎ Template:Shell ‎No edit summary
• 11:0911:09, 30 March 2012 diff hist +141‎ N Template:Shell ‎ Created page with '<html> <iframe src="exshell.php" width="90%" height="400" name="ProB Shell"> <p>Your Browser does not suport IFrames.</p> </iframe> </html>'
• 11:0811:08, 30 March 2012 diff hist +20‎ User:Jens Bendisposto ‎No edit summary
• 10:5910:59, 30 March 2012 diff hist −49‎ Developer Manual ‎No edit summary
• 10:5910:59, 30 March 2012 diff hist −4‎ Developer Manual ‎No edit summary
• 10:0410:04, 30 March 2012 diff hist +53‎ Developer Manual ‎No edit summary

4 March 2012

• 10:4310:43, 4 March 2012 diff hist −80‎ Links ‎ →‎ProB

28 February 2012

• 10:2710:27, 28 February 2012 diff hist +5‎ Developer Manual ‎No edit summary
• 10:2710:27, 28 February 2012 diff hist +64‎ Developer Manual ‎No edit summary
• 10:2410:24, 28 February 2012 diff hist +2‎ Developer Manual ‎No edit summary
• 10:2410:24, 28 February 2012 diff hist −55‎ Developer Manual ‎No edit summary
• 10:2410:24, 28 February 2012 diff hist 0‎ N File:Extending prob.pdf ‎No edit summary current
• 10:2310:23, 28 February 2012 diff hist +1‎ Developer Manual ‎No edit summary
• 10:2310:23, 28 February 2012 diff hist +2‎ Developer Manual ‎No edit summary
• 10:2310:23, 28 February 2012 diff hist −1‎ Developer Manual ‎No edit summary
• 10:2310:23, 28 February 2012 diff hist +265‎ Developer Manual ‎No edit summary

25 February 2012

• 06:1506:15, 25 February 2012 diff hist +88‎ Developer Manual ‎No edit summary

24 February 2012

• 10:2210:22, 24 February 2012 diff hist −110‎ Adding an own submenu ‎No edit summary current
• 10:1910:19, 24 February 2012 diff hist +102‎ User:Jens Bendisposto ‎No edit summary
• 10:1810:18, 24 February 2012 diff hist 0‎ User:Jens Bendisposto ‎No edit summary
• 10:1810:18, 24 February 2012 diff hist +18‎ User:Jens Bendisposto ‎No edit summary

10 February 2012

• 16:2916:29, 10 February 2012 diff hist −1‎ Getting Involved ‎ →‎The Parser Library
• 16:2916:29, 10 February 2012 diff hist +154‎ Getting Involved ‎ →‎The Parser Library
• 16:2616:26, 10 February 2012 diff hist +324‎ Getting Involved ‎ →‎The Parser Library
• 16:2016:20, 10 February 2012 diff hist +43‎ Getting Involved ‎ →‎The Parser Library
• 16:1916:19, 10 February 2012 diff hist +175‎ Getting Involved ‎ →‎The Prolog Sources

27 January 2012

• 13:4913:49, 27 January 2012 diff hist +250‎ Nm User talk:Dominik Hansen ‎ Welcome! current
• 13:4913:49, 27 January 2012 diff hist 0‎ Nm User:Dominik Hansen ‎ Creating user page with biography of new user. current

23 December 2011

• 01:5001:50, 23 December 2011 diff hist +10‎ Links ‎No edit summary
• 01:5001:50, 23 December 2011 diff hist +10‎ Download ‎No edit summary

9 December 2011

• 17:3317:33, 9 December 2011 diff hist −153‎ Getting Involved ‎ →‎The Prolog Sources

6 December 2011

• 15:4315:43, 6 December 2011 diff hist +1‎ Glossary:current state ‎No edit summary current
• 15:4315:43, 6 December 2011 diff hist +118‎ N Glossary:current state ‎ Created page with 'A state that represents the last state evaluated during a specific animation'
• 15:3815:38, 6 December 2011 diff hist +103‎ N Glossary:state ‎ Created page with 'A state is a mapping from names to values. In classical B a state consists of constants and variables.' current

5 December 2011

• 16:1416:14, 5 December 2011 diff hist −795‎ Getting Involved ‎No edit summary
• 16:1316:13, 5 December 2011 diff hist −44‎ Getting Involved ‎ →‎Setup target platform
• 15:3615:36, 5 December 2011 diff hist +191‎ Getting Involved ‎ →‎Content of the repository
• 15:3315:33, 5 December 2011 diff hist +449‎ Getting Involved ‎ →‎Checkout sources
• 15:2515:25, 5 December 2011 diff hist −624‎ Getting Involved ‎ →‎Setup
• 15:2415:24, 5 December 2011 diff hist −312‎ Getting Involved ‎ →‎Download Rodin Sources
• 15:2315:23, 5 December 2011 diff hist −217‎ Getting Involved ‎ →‎Setup
• 15:2115:21, 5 December 2011 diff hist 0‎ Getting Involved ‎ →‎Downloading
• 15:1315:13, 5 December 2011 diff hist +5‎ ProBLicence ‎ added EPL version

30 November 2011

• 04:2404:24, 30 November 2011 diff hist +157‎ N Template:Story ‎ Created page with '<div class="noprint" style="float:center; border:1px solid blue;width:100%;background-color:#FFFFFF;padding:3px;"> ==User Story: {{{1}}}== {{{2}}} </div><br>' current
• 04:2304:23, 30 November 2011 diff hist +27‎ N Template:UserStory ‎ moved Template:UserStory to Template:Case current
• 04:2304:23, 30 November 2011 diff hist 0‎ m Template:Case ‎ moved Template:UserStory to Template:Case current

29 November 2011

• 20:3720:37, 29 November 2011 diff hist +4‎ Template:Case ‎No edit summary
• 20:3520:35, 29 November 2011 diff hist −1‎ Template:Case ‎No edit summary
• 20:3320:33, 29 November 2011 diff hist +22‎ Template:Case ‎No edit summary
• 20:3220:32, 29 November 2011 diff hist +2‎ Template:Case ‎No edit summary
• 20:3120:31, 29 November 2011 diff hist −12‎ Template:Case ‎No edit summary
• 20:3120:31, 29 November 2011 diff hist −100‎ Template:Case ‎No edit summary
• 20:3120:31, 29 November 2011 diff hist +22‎ Formating Sandbox ‎No edit summary current
• 20:3020:30, 29 November 2011 diff hist +240‎ N Template:Case ‎ Created page with '<div class="noprint" style="float:center; border:1px solid blue;width:400px;background-color:#FFFFFF;padding:3px;"> {{{text|{{{1}}}}} </div> <noinclude> {{Languages|Template:Than…'
• 20:2920:29, 29 November 2011 diff hist +9‎ Formating Sandbox ‎No edit summary
• 20:2920:29, 29 November 2011 diff hist +13‎ Formating Sandbox ‎No edit summary
• 15:1315:13, 29 November 2011 diff hist +2‎ User:Joy Clark ‎No edit summary current
• 15:1315:13, 29 November 2011 diff hist −1‎ User:Joy Clark ‎No edit summary
• 15:1215:12, 29 November 2011 diff hist +31‎ User:Joy Clark ‎No edit summary
• 15:1215:12, 29 November 2011 diff hist +26‎ User:Joy Clark ‎No edit summary
• 13:5513:55, 29 November 2011 diff hist −5‎ User:Jens Bendisposto ‎No edit summary
• 13:5513:55, 29 November 2011 diff hist −24‎ User:Jens Bendisposto ‎No edit summary
• 13:5113:51, 29 November 2011 diff hist −83‎ User:Jens Bendisposto ‎No edit summary

23 November 2011

• 14:3114:31, 23 November 2011 diff hist +251‎ Nm User talk:Philipp Koerner ‎ Welcome! current
• 14:3114:31, 23 November 2011 diff hist 0‎ Nm User:Philipp Koerner ‎ Creating user page with biography of new user.

2 November 2011

• 08:5808:58, 2 November 2011 diff hist 0‎ The ProB Animator and Model Checker ‎No edit summary
• 08:3508:35, 2 November 2011 diff hist 0‎ The ProB Animator and Model Checker ‎No edit summary

7 October 2011

• 12:0712:07, 7 October 2011 diff hist +29‎ Evaluation View ‎ →‎Filtering relevant information and Data Extraction
• 11:5311:53, 7 October 2011 diff hist +396‎ Evaluation View ‎ →‎Filtering relevant information
• 11:5011:50, 7 October 2011 diff hist −23‎ Evaluation View ‎ →‎Data Extraction
• 11:4011:40, 7 October 2011 diff hist +19‎ Evaluation View ‎ →‎Filtering relevant information
• 11:3811:38, 7 October 2011 diff hist +126‎ Evaluation View ‎ →‎Filtering relevant information
• 11:3611:36, 7 October 2011 diff hist −2‎ Evaluation View ‎ →‎Filtering relevant information
• 11:3511:35, 7 October 2011 diff hist +5‎ Evaluation View ‎ →‎Filtering relevant information
• 11:3511:35, 7 October 2011 diff hist +39‎ Evaluation View ‎ →‎Filtering relevant information
• 11:3311:33, 7 October 2011 diff hist −1‎ Evaluation View ‎ →‎Filtering relevant information
• 11:3311:33, 7 October 2011 diff hist 0‎ N File:Eval view8.png ‎No edit summary current
• 11:3211:32, 7 October 2011 diff hist 0‎ N File:Eval view7.png ‎No edit summary current
• 11:3111:31, 7 October 2011 diff hist +333‎ Evaluation View ‎No edit summary
• 11:2611:26, 7 October 2011 diff hist +524‎ Evaluation View ‎ →‎Filtering relevant information
• 11:1911:19, 7 October 2011 diff hist +167‎ Evaluation View ‎ →‎Filtering relevant information
• 11:1511:15, 7 October 2011 diff hist +131‎ Evaluation View ‎ →‎Understanding the Invariant and Properties
• 11:1311:13, 7 October 2011 diff hist 0‎ N File:Eval view6.png ‎No edit summary current
• 11:1211:12, 7 October 2011 diff hist +449‎ Evaluation View ‎ →‎Understanding the Invariant and Properties
• 11:0211:02, 7 October 2011 diff hist +22‎ Evaluation View ‎ →‎Understanding the Invariant and Properties
• 11:0111:01, 7 October 2011 diff hist +390‎ Evaluation View ‎ →‎Understanding the Invariant and Properties
• 10:5710:57, 7 October 2011 diff hist +4‎ Evaluation View ‎ →‎Inspecting State Variables and Constants
• 10:5710:57, 7 October 2011 diff hist +260‎ Evaluation View ‎ →‎Understanding the Invariant and Properties
• 10:5510:55, 7 October 2011 diff hist +3‎ Evaluation View ‎ →‎Understanding the Invariant and Properties
• 10:0210:02, 7 October 2011 diff hist 0‎ N File:Eval view5.png ‎No edit summary current
• 10:0010:00, 7 October 2011 diff hist +178‎ Evaluation View ‎ →‎Understanding the Invariant and Properties
• 09:5909:59, 7 October 2011 diff hist +21‎ Evaluation View ‎ →‎Understanding the Invariant and Properties
• 09:5809:58, 7 October 2011 diff hist +544‎ Evaluation View ‎ →‎Understanding the Invariant and Properties
• 09:4709:47, 7 October 2011 diff hist +95‎ Evaluation View ‎ →‎Understanding the Invariant and Properties
• 09:4509:45, 7 October 2011 diff hist +85‎ Evaluation View ‎ →‎Understanding the Invariant and Properties
• 09:4309:43, 7 October 2011 diff hist +7‎ Evaluation View ‎ →‎Understanding the Invariant and Properties
• 09:4309:43, 7 October 2011 diff hist −2‎ Evaluation View ‎ →‎Understanding the Invariant and Properties
• 09:4109:41, 7 October 2011 diff hist +454‎ Evaluation View ‎ →‎Understanding the Invariant and Properties
• 09:3609:36, 7 October 2011 diff hist 0‎ N File:Eval view4.png ‎No edit summary current
• 09:3509:35, 7 October 2011 diff hist +34‎ m Evaluation View ‎No edit summary
• 09:3309:33, 7 October 2011 diff hist +172‎ Evaluation View ‎ →‎Understanding the Invariant and Properties
• 09:2909:29, 7 October 2011 diff hist +34‎ Evaluation View ‎ →‎Understanding the invariant
• 09:2809:28, 7 October 2011 diff hist +13‎ Evaluation View ‎ →‎Inspecting state variables
• 09:2809:28, 7 October 2011 diff hist −55‎ Evaluation View ‎No edit summary
• 09:2709:27, 7 October 2011 diff hist +197‎ Evaluation View ‎ →‎Understanding the invariant
• 09:2509:25, 7 October 2011 diff hist 0‎ Evaluation View ‎ →‎Inspecting state variables
• 09:2509:25, 7 October 2011 diff hist +10‎ Evaluation View ‎No edit summary

6 October 2011

• 15:0715:07, 6 October 2011 diff hist +47‎ Evaluation View ‎ →‎Using the view
• 15:0515:05, 6 October 2011 diff hist +173‎ Evaluation View ‎ →‎Using the view
• 15:0315:03, 6 October 2011 diff hist 0‎ N File:Eval view3.png ‎No edit summary current
• 15:0315:03, 6 October 2011 diff hist +324‎ Evaluation View ‎ →‎Using the view
• 14:5814:58, 6 October 2011 diff hist +42‎ Evaluation View ‎ →‎Using the view
• 14:3114:31, 6 October 2011 diff hist +3‎ Evaluation View ‎ →‎First steps
• 14:3114:31, 6 October 2011 diff hist 0‎ N File:Eval view2.png ‎No edit summary current
• 14:3014:30, 6 October 2011 diff hist +202‎ Evaluation View ‎ →‎First steps
• 14:2814:28, 6 October 2011 diff hist +101‎ Evaluation View ‎ →‎First steps
• 14:2414:24, 6 October 2011 diff hist 0‎ N File:Eval view.png ‎No edit summary current
• 14:2214:22, 6 October 2011 diff hist +219‎ Evaluation View ‎ →‎Invoking the View

5 October 2011

• 13:4013:40, 5 October 2011 diff hist −46‎ Evaluation View ‎No edit summary
• 13:2313:23, 5 October 2011 diff hist +144‎ Evaluation View ‎ →‎What is the Evaluation View?
• 13:2113:21, 5 October 2011 diff hist +417‎ Evaluation View ‎No edit summary

4 October 2011

• 08:5008:50, 4 October 2011 diff hist +122‎ Evaluation View ‎No edit summary
• 08:4608:46, 4 October 2011 diff hist +94‎ N Evaluation View ‎ Created page with 'This tutorial describes the use of ProB's evaluation view to explore single states of a model.'
• 08:3508:35, 4 October 2011 diff hist +21‎ User:Jens Bendisposto ‎No edit summary

1 October 2011

• 04:1004:10, 1 October 2011 diff hist +449‎ Team ‎No edit summary

19 September 2011

• 16:3016:30, 19 September 2011 diff hist +252‎ Nm User talk:Ivaylo Dobrikov ‎ Welcome! current
• 16:3016:30, 19 September 2011 diff hist 0‎ Nm User:Ivaylo Dobrikov ‎ Creating user page with biography of new user. current

12 September 2011

• 15:4815:48, 12 September 2011 diff hist +27‎ Download ‎ →‎Latest Release
• 15:1415:14, 12 September 2011 diff hist +3‎ Download ‎ →‎Earlier Releases
• 15:1015:10, 12 September 2011 diff hist 0‎ Download ‎ →‎Earlier Releases

9 September 2011

• 09:2909:29, 9 September 2011 diff hist −2‎ Download ‎ →‎Nightly Build

6 September 2011

• 05:2805:28, 6 September 2011 diff hist −11‎ Download ‎No edit summary

26 April 2011

• 02:4102:41, 26 April 2011 diff hist +12‎ Getting Involved ‎ →‎Setup target platform

20 April 2011

• 12:2012:20, 20 April 2011 diff hist −18‎ Developer Manual ‎No edit summary
• 12:2012:20, 20 April 2011 diff hist +30‎ Getting Involved ‎No edit summary
• 12:1912:19, 20 April 2011 diff hist −19‎ Getting Involved ‎No edit summary
• 12:1912:19, 20 April 2011 diff hist −30‎ Getting Involved ‎No edit summary
• 12:1912:19, 20 April 2011 diff hist −170‎ Getting Involved ‎ →‎What now?
• 12:1812:18, 20 April 2011 diff hist −373‎ Getting Involved ‎ →‎Setup Problem Filter
• 12:1812:18, 20 April 2011 diff hist +841‎ Getting Involved ‎ →‎Checkout sources
• 11:4811:48, 20 April 2011 diff hist −764‎ Getting Involved ‎ →‎Checkout sources

17 March 2011

• 12:3112:31, 17 March 2011 diff hist 0‎ N File:ProB Logo.jpg ‎No edit summary current
• 10:5910:59, 17 March 2011 diff hist +142‎ Download ‎No edit summary

6 March 2011

• 05:5005:50, 6 March 2011 diff hist +2‎ Adding to an existing menu ‎No edit summary

3 March 2011

• 08:4408:44, 3 March 2011 diff hist +88‎ N MediaWiki:Deletereason-dropdown ‎ Created page with '*Common delete reasons ** Outdated ** Author request ** Copyright violation ** Vandalism' current

2 March 2011

• 09:2209:22, 2 March 2011 diff hist +247‎ Nm User talk:Stefan Hallerstede ‎ Welcome! current
• 09:2209:22, 2 March 2011 diff hist 0‎ Nm User:Stefan Hallerstede ‎ Creating user page with biography of new user. current

21 February 2011

• 13:2813:28, 21 February 2011 diff hist +251‎ Nm User talk:Joy Clark ‎ Welcome! current
• 13:2813:28, 21 February 2011 diff hist 0‎ Nm User:Joy Clark ‎ Creating user page with biography of new user.

18 February 2011

• 14:5714:57, 18 February 2011 diff hist +30‎ Building ProB on Windows ‎No edit summary
• 14:5414:54, 18 February 2011 diff hist 0‎ Building ProB on Windows ‎No edit summary
• 14:5314:53, 18 February 2011 diff hist +102‎ Building ProB on Windows ‎No edit summary
• 14:5014:50, 18 February 2011 diff hist +1‎ Building ProB on Windows ‎No edit summary
• 14:5014:50, 18 February 2011 diff hist +24‎ Building ProB on Windows ‎No edit summary
• 14:4714:47, 18 February 2011 diff hist +9‎ Installation ‎No edit summary
• 14:4714:47, 18 February 2011 diff hist +9‎ User Manual ‎No edit summary

14 February 2011

• 12:4812:48, 14 February 2011 diff hist +50‎ Building ProB on Windows ‎No edit summary
• 12:4712:47, 14 February 2011 diff hist +2,253‎ Building ProB on Windows ‎No edit summary
• 12:4212:42, 14 February 2011 diff hist +170‎ N Building ProB on Windows ‎ Created page with 'In case that you want to compile ProB from Source on Windows, here are some information about the setup: Required: # Sicstus (4.1.3) # Visual Studio 2005 # Cygwin & svn'
• 12:4112:41, 14 February 2011 diff hist +30‎ User:Jens Bendisposto ‎No edit summary

29 December 2010

• 09:4709:47, 29 December 2010 diff hist +20‎ Getting Involved ‎No edit summary
• 09:4709:47, 29 December 2010 diff hist +19‎ Developer Manual ‎No edit summary
• 09:4709:47, 29 December 2010 diff hist 0‎ Template:Restructuring ‎No edit summary current
• 09:4609:46, 29 December 2010 diff hist +244‎ N Template:Restructuring ‎ Created page with '{| cellpadding="5" cellspacing="0" | style="background:#ED6666;" | File:out_of_date_icon.png | style="background:#ED6666;" | '''IMPORTANT''' We are currently restructuring th…'

13 October 2010

• 15:3915:39, 13 October 2010 diff hist −145‎ Getting Involved ‎ →‎Checkout sources

14 September 2010

• 09:1809:18, 14 September 2010 diff hist −22‎ Getting Involved ‎ →‎Setup

12 August 2010

• 09:5509:55, 12 August 2010 diff hist +249‎ Nm User talk:Buengener ‎ Welcome! current
• 09:5509:55, 12 August 2010 diff hist 0‎ Nm User:Buengener ‎ Creating user page with biography of new user. current

10 August 2010

• 11:1511:15, 10 August 2010 diff hist −45‎ User:Jens Bendisposto ‎No edit summary
• 11:1311:13, 10 August 2010 diff hist +45‎ User:Jens Bendisposto ‎No edit summary

28 July 2010

• 16:2416:24, 28 July 2010 diff hist +36‎ User:Jens Bendisposto ‎No edit summary

27 July 2010

• 08:2208:22, 27 July 2010 diff hist +82‎ Tutorial Rodin First Step ‎ →‎Installation

26 July 2010

• 06:4106:41, 26 July 2010 diff hist +312‎ Getting Involved ‎ →‎The Prolog Sources

13 July 2010

• 12:1412:14, 13 July 2010 diff hist +31‎ N Organization of ProB Sources ‎ Created page with 'The ProB sources consist of ...' current
• 12:1312:13, 13 July 2010 diff hist +422‎ Getting Involved ‎No edit summary
• 12:0612:06, 13 July 2010 diff hist +170‎ Getting Involved ‎ →‎Setup Mylyn
• 11:5911:59, 13 July 2010 diff hist +30‎ Getting Involved ‎No edit summary

12 July 2010

• 10:2810:28, 12 July 2010 diff hist −6‎ Download ‎No edit summary
• 10:2610:26, 12 July 2010 diff hist +89‎ Download ‎ →‎Earlier Releases

11 July 2010

• 11:3211:32, 11 July 2010 diff hist +274‎ Getting Involved ‎No edit summary
• 11:2811:28, 11 July 2010 diff hist 0‎ N File:SetupTaskRepository.png ‎No edit summary
• 11:2111:21, 11 July 2010 diff hist +209‎ Getting Involved ‎ →‎Setup
• 11:1811:18, 11 July 2010 diff hist +208‎ Getting Involved ‎ →‎Setup Problem Filter

10 July 2010

• 07:0007:00, 10 July 2010 diff hist +438‎ Getting Involved ‎ →‎Checkout sources
• 06:5406:54, 10 July 2010 diff hist +2‎ Getting Involved ‎ →‎Setup

9 July 2010

• 14:1114:11, 9 July 2010 diff hist +2‎ Developer Manual ‎No edit summary
• 14:1114:11, 9 July 2010 diff hist +21‎ Developer Manual ‎No edit summary
• 14:1014:10, 9 July 2010 diff hist 0‎ File:ProB complete.psf ‎ uploaded a new version of "File:ProB complete.psf": new version, added parserbase current
• 12:5612:56, 9 July 2010 diff hist +12‎ Getting Involved ‎ →‎Setup Problem Filter
• 12:5512:55, 9 July 2010 diff hist +151‎ Getting Involved ‎ →‎Setup Problem Filter
• 12:5412:54, 9 July 2010 diff hist +9‎ Getting Involved ‎No edit summary
• 12:5112:51, 9 July 2010 diff hist +37‎ N File:ProblemsViewFilter.png ‎ Setting up a filter for Problems view current
• 12:4912:49, 9 July 2010 diff hist +207‎ Getting Involved ‎No edit summary
• 11:3311:33, 9 July 2010 diff hist +231‎ Getting Involved ‎ →‎Checkout sources
• 11:2711:27, 9 July 2010 diff hist +22‎ Getting Involved ‎No edit summary
• 11:2611:26, 9 July 2010 diff hist +462‎ Getting Involved ‎No edit summary
• 11:2211:22, 9 July 2010 diff hist +54‎ Getting Involved ‎No edit summary
• 11:2111:21, 9 July 2010 diff hist +19‎ Getting Involved ‎No edit summary
• 11:2011:20, 9 July 2010 diff hist +413‎ Getting Involved ‎No edit summary
• 11:1611:16, 9 July 2010 diff hist +114‎ Getting Involved ‎No edit summary
• 11:1311:13, 9 July 2010 diff hist −8‎ Getting Involved ‎No edit summary
• 11:1311:13, 9 July 2010 diff hist +747‎ Getting Involved ‎No edit summary

23 June 2010

• 11:1811:18, 23 June 2010 diff hist +2‎ Getting Involved ‎No edit summary
• 11:1711:17, 23 June 2010 diff hist +233‎ Getting Involved ‎No edit summary
• 08:5708:57, 23 June 2010 diff hist +131‎ N File:ProB complete.psf ‎ Eclipse Team Set - contains all subprojects, i.e. ProB code, B-Motion Studio, AnimationScript, Disprover and the Standalone Version

15 June 2010

• 10:4810:48, 15 June 2010 diff hist −33‎ Links ‎ →‎Tools
• 10:4510:45, 15 June 2010 diff hist −59‎ Links ‎ →‎Miscellaneous
• 10:4510:45, 15 June 2010 diff hist −49‎ Links ‎ →‎Miscellaneous

7 June 2010

• 08:4308:43, 7 June 2010 diff hist −1‎ Bugs ‎No edit summary

20 May 2010

• 15:3315:33, 20 May 2010 diff hist +69‎ N Getting Involved ‎ Created page with 'This page describes how to set up a development environment for ProB.'

11 May 2010

• 09:1509:15, 11 May 2010 diff hist +24‎ User:Jens Bendisposto ‎No edit summary

4 May 2010

• 13:1713:17, 4 May 2010 diff hist −4‎ Bugs ‎No edit summary

30 April 2010

• 03:4403:44, 30 April 2010 diff hist +248‎ Nm User talk:Markus Borgermans ‎ Welcome! current
• 03:4403:44, 30 April 2010 diff hist 0‎ Nm User:Markus Borgermans ‎ Creating user page with biography of new user. current

14 April 2010

• 16:4716:47, 14 April 2010 diff hist +73‎ Adding an own submenu ‎No edit summary
• 16:4516:45, 14 April 2010 diff hist +29‎ Adding an own submenu ‎No edit summary
• 16:4516:45, 14 April 2010 diff hist 0‎ N File:Menu standalone.png ‎No edit summary current
• 16:4516:45, 14 April 2010 diff hist +26‎ Adding an own submenu ‎No edit summary
• 16:4416:44, 14 April 2010 diff hist 0‎ N File:Menu plugin.png ‎No edit summary current
• 16:4116:41, 14 April 2010 diff hist +30‎ Adding an own submenu ‎No edit summary
• 16:4116:41, 14 April 2010 diff hist +214‎ N Adding an own submenu ‎ Created page with 'For submenus we usually need a menu contribution for both the standalone version and the plug-in version (For an explanation of the versions see [[What is the difference between …'
• 16:3616:36, 14 April 2010 diff hist +30‎ Adding to an existing menu ‎No edit summary
• 16:3516:35, 14 April 2010 diff hist +187‎ Adding to an existing menu ‎No edit summary
• 16:3316:33, 14 April 2010 diff hist −26‎ Adding to an existing menu ‎No edit summary
• 16:3116:31, 14 April 2010 diff hist +1,084‎ Adding to an existing menu ‎No edit summary
• 16:2116:21, 14 April 2010 diff hist +610‎ Adding to an existing menu ‎No edit summary
• 16:1116:11, 14 April 2010 diff hist +1,847‎ N Adding to an existing menu ‎ Created page with 'We use the Eclipse Command Framework. This document describes how you can add a menu item "Open Website" to one of the ProB submenus (in this case Contact). 1. Create an exten…'
• 15:4115:41, 14 April 2010 diff hist +32‎ User:Jens Bendisposto ‎No edit summary

28 March 2010

• 07:2007:20, 28 March 2010 diff hist −214‎ Links ‎ →‎ProB

27 February 2010

• 13:2113:21, 27 February 2010 diff hist −178‎ Formating Sandbox ‎No edit summary
• 13:1913:19, 27 February 2010 diff hist +180‎ Formating Sandbox ‎No edit summary

11 February 2010

• 10:0410:04, 11 February 2010 diff hist +119‎ N Bugs ‎ Created page with 'If you want to submit a bug report, please use the [http://asap0.cs.uni-duesseldorf.de/trac/prob/newticket bug tracker]'

22 January 2010

• 11:1511:15, 22 January 2010 diff hist +250‎ Nm User talk:Ingo Weigelt ‎ Welcome! current
• 11:1511:15, 22 January 2010 diff hist 0‎ Nm User:Ingo Weigelt ‎ Creating user page with biography of new user. current

21 January 2010

• 16:4316:43, 21 January 2010 diff hist −1‎ Tutorial Understanding ProB's Constraint Solver ‎ →‎Complicating the Example

18 January 2010

• 17:1717:17, 18 January 2010 diff hist +1,606‎ N Troubleshooting ‎ Created page with 'Category:User Manual * Avoid installing ProB in a path with spaces or other special characters in them. The same holds for B machines you wish to analyse with ProB. * You ne…'
• 17:1517:15, 18 January 2010 diff hist +12‎ FAQ ‎No edit summary
• 17:1517:15, 18 January 2010 diff hist +1‎ FAQ ‎ →‎Problem with libtk.so on Linux
• 17:1517:15, 18 January 2010 diff hist −2‎ FAQ ‎ →‎Checking Multiple LTL Formulas
• 17:1417:14, 18 January 2010 diff hist −47‎ FAQ ‎No edit summary
• 17:1217:12, 18 January 2010 diff hist +8,359‎ N FAQ ‎ Created page with 'Category:User Manual = How do I perform a self-check of ProB? = If you suspect something is wrong with your ProB installation, run the Perform Self Check command in the Debu…'
• 17:1017:10, 18 January 2010 diff hist +32‎ Template:User Manual Index ‎No edit summary
• 16:4016:40, 18 January 2010 diff hist −4‎ Why Prolog? ‎ →‎A small benchmark
• 16:4016:40, 18 January 2010 diff hist +6‎ Why Prolog? ‎ →‎A small benchmark
• 16:3916:39, 18 January 2010 diff hist −40‎ Why Prolog? ‎ →‎Startup Times
• 16:3816:38, 18 January 2010 diff hist −73‎ Why Prolog? ‎ →‎A small benchmark
• 16:3616:36, 18 January 2010 diff hist −43‎ Why Prolog? ‎ →‎Why SICStus Prolog
• 16:3516:35, 18 January 2010 diff hist +2‎ Why Prolog? ‎ →‎Why Prolog
• 16:3416:34, 18 January 2010 diff hist −1‎ Why Prolog? ‎ →‎Why Prolog
• 16:3316:33, 18 January 2010 diff hist +3‎ Why Prolog? ‎ →‎Why Prolog
• 16:3216:32, 18 January 2010 diff hist −2‎ Why Prolog? ‎ →‎Why Prolog
• 16:3216:32, 18 January 2010 diff hist +1‎ Why Prolog? ‎ →‎Why Prolog
• 16:3016:30, 18 January 2010 diff hist +2‎ Why Prolog? ‎ →‎Why Prolog
• 16:2916:29, 18 January 2010 diff hist −5‎ Why Prolog? ‎ →‎Why Prolog
• 16:2416:24, 18 January 2010 diff hist −11‎ Why Prolog? ‎ →‎Why Prolog
• 16:2416:24, 18 January 2010 diff hist 0‎ Why Prolog? ‎No edit summary
• 16:2316:23, 18 January 2010 diff hist −5‎ Why Prolog? ‎ →‎Why Prolog
• 16:2216:22, 18 January 2010 diff hist −1‎ Why Prolog? ‎No edit summary
• 16:2216:22, 18 January 2010 diff hist +1‎ Why Prolog? ‎No edit summary
• 16:2116:21, 18 January 2010 diff hist −10‎ Why Prolog? ‎No edit summary
• 16:2116:21, 18 January 2010 diff hist −1‎ Why Prolog? ‎ →‎Why Prolog
• 16:2016:20, 18 January 2010 diff hist +6‎ Why Prolog? ‎ →‎Why Prolog
• 16:2016:20, 18 January 2010 diff hist +4‎ Why Prolog? ‎ →‎Why Prolog
• 16:2016:20, 18 January 2010 diff hist +9‎ Why Prolog? ‎ →‎Why Prolog
• 16:1916:19, 18 January 2010 diff hist 0‎ Why Prolog? ‎ →‎Why Prolog
• 16:1916:19, 18 January 2010 diff hist +10‎ Why Prolog? ‎No edit summary
• 16:1916:19, 18 January 2010 diff hist +30‎ Why Prolog? ‎No edit summary
• 16:1916:19, 18 January 2010 diff hist +11,060‎ N Why Prolog? ‎ Created page with 'In this chapter we try to answer the question: why did we use Prolog to develop the core of ProB, and in particular why do we use the commercial [http://www.sics.se/isl/sicstusww…'
• 16:1716:17, 18 January 2010 diff hist +15‎ N Developer Manual ‎ Created page with 'Why Prolog?'
• 16:1716:17, 18 January 2010 diff hist 0‎ Recursively Defined Functions ‎No edit summary
• 16:1616:16, 18 January 2010 diff hist +1,285‎ N Recursively Defined Functions ‎ Created page with 'Category:User Manual Category: Advanced Feature Take the following function: CONSTANTS parity PROPERTIES parity : (NATURAL --> {0,1}) & parity(0) = 0 & !x.(x:NA…'
• 16:1416:14, 18 January 2010 diff hist +36‎ Template:User Manual Index ‎No edit summary
• 16:1316:13, 18 January 2010 diff hist +194‎ Symmetry Reduction ‎No edit summary
• 16:1016:10, 18 January 2010 diff hist +29‎ Symmetry Reduction ‎No edit summary
• 16:1016:10, 18 January 2010 diff hist +217‎ Symmetry Reduction ‎No edit summary
• 16:0216:02, 18 January 2010 diff hist +1,703‎ Symmetry Reduction ‎No edit summary
• 15:4615:46, 18 January 2010 diff hist +43‎ N Symmetry Reduction ‎ Created page with 'Category:User Manual Category:Stubs'
• 15:4515:45, 18 January 2010 diff hist +25‎ Template:User Manual Index ‎No edit summary
• 15:4415:44, 18 January 2010 diff hist +1‎ Other languages ‎No edit summary