User contributions for Jens Bendisposto

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

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

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

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

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

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

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

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

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

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

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

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

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

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

09:2209:22, 2 March 2011 diff hist +247‎ Nm User talk:Stefan Hallerstede ‎ Welcome! current

User contributions for Jens Bendisposto

29 November 2011

23 November 2011

2 November 2011

7 October 2011

6 October 2011

5 October 2011

4 October 2011

1 October 2011

19 September 2011

12 September 2011

9 September 2011

6 September 2011

26 April 2011

20 April 2011

17 March 2011

6 March 2011

3 March 2011

2 March 2011