User contributions for Jens Bendisposto

7 October 2011

• 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