User contributions for Jens Bendisposto

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]'

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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.

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

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

User contributions for Jens Bendisposto

16 March 2015

16 February 2015

12 January 2015

29 November 2014

27 November 2014

26 November 2014

23 July 2014

11 July 2014

10 July 2014

5 July 2014

1 July 2014

4 June 2014

6 April 2014

18 March 2014

11 March 2014

20 February 2014

18 February 2014

17 February 2014

14 February 2014

3 February 2014

31 January 2014

2 October 2013

9 September 2013

22 August 2013

28 June 2013

20 June 2013

19 June 2013

13 June 2013

10 April 2013

24 March 2013

7 March 2013

1 February 2013

29 January 2013

23 November 2012

24 October 2012

4 October 2012

13 September 2012

7 September 2012

22 August 2012

6 August 2012

21 June 2012

8 June 2012

31 May 2012

18 May 2012

17 May 2012

16 May 2012

4 May 2012

26 April 2012

16 April 2012

30 March 2012

4 March 2012

28 February 2012

25 February 2012

24 February 2012

10 February 2012

27 January 2012

23 December 2011

9 December 2011

6 December 2011

5 December 2011

30 November 2011

29 November 2011

23 November 2011

2 November 2011

7 October 2011