User contributions for Jens Bendisposto

23 December 2011

• 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