User contributions for Joy Clark

5 May 2015

• 08:2008:20, 5 May 2015 diff hist +83 Rodin User and Developer Workshop 2013 - Tutorial No edit summary current
• 08:1808:18, 5 May 2015 diff hist −23 Rodin User and Developer Workshop 2013 - Tutorial →Evaluation
• 08:1408:14, 5 May 2015 diff hist −8 Rodin User and Developer Workshop 2013 - Tutorial →Traces
• 08:1308:13, 5 May 2015 diff hist −306 Rodin User and Developer Workshop 2013 - Tutorial →The State Space
• 08:0108:01, 5 May 2015 diff hist +27 Rodin User and Developer Workshop 2013 - Tutorial →Preparation
• 07:5907:59, 5 May 2015 diff hist −125 Rodin User and Developer Workshop 2013 - Tutorial →The State Space
• 07:4807:48, 5 May 2015 diff hist +84 Rodin User and Developer Workshop 2013 - Tutorial →Preparation

5 November 2014

• 15:0815:08, 5 November 2014 diff hist −40 ProB Java API Tutorial →How to run a groovy script
• 15:0815:08, 5 November 2014 diff hist +20 ProB Java API Tutorial →How to convert between the main abstractions
• 15:0815:08, 5 November 2014 diff hist +420 ProB Java API Tutorial →How to carry out evaluations
• 15:0415:04, 5 November 2014 diff hist +341 ProB Java API Tutorial →In The Console
• 14:5614:56, 5 November 2014 diff hist +147 ProB Java API Tutorial →Event B
• 14:5514:55, 5 November 2014 diff hist −5 ProB Java API Tutorial →Open the ProB API from Source/JAR file
• 14:5414:54, 5 November 2014 diff hist +505 ProB Java API Tutorial →How to open the Groovy Shell
• 14:4714:47, 5 November 2014 diff hist −18 Programmatic Abstractions in the ProB 2.0 API →StateSpace current
• 14:4014:40, 5 November 2014 diff hist +227 Programmatic Abstractions in the ProB 2.0 API →Model
• 14:3814:38, 5 November 2014 diff hist +7 Programmatic Abstractions in the ProB 2.0 API →Overview
• 14:3414:34, 5 November 2014 diff hist +59 Programmatic Abstractions in the ProB 2.0 API →Background
• 14:3114:31, 5 November 2014 diff hist +11 ProB 2.0 Development →Basic Design Principles current

26 June 2013

• 20:5520:55, 26 June 2013 diff hist −1 Rodin User and Developer Workshop 2013 - Tutorial →The model: specify line as code
• 20:5120:51, 26 June 2013 diff hist −4 m ProB Java API Tutorial →How to get started developing with ProB 2.0: fix broken links

4 June 2013

• 12:1412:14, 4 June 2013 diff hist −2 ProB Java API Tutorial →How to carry out evaluations
• 12:1412:14, 4 June 2013 diff hist −2 ProB Java API Tutorial →In The Console
• 12:1412:14, 4 June 2013 diff hist −2 ProB Java API Tutorial No edit summary
• 12:1312:13, 4 June 2013 diff hist +819 ProB Java API Tutorial No edit summary
• 11:5711:57, 4 June 2013 diff hist −170 Programmatic Abstractions in the ProB 2.0 API No edit summary
• 11:5511:55, 4 June 2013 diff hist −3 ProB 2.0 Development →Explanation of the basic programmatic abstractions
• 11:5411:54, 4 June 2013 diff hist −8 ProB 2.0 Development →Explanation of the basic programmatic abstractions

30 November 2012

• 14:0714:07, 30 November 2012 diff hist +664 ProB Java API Tutorial →How to animate with only the StateSpace abstraction
• 13:5313:53, 30 November 2012 diff hist +195 ProB Java API Tutorial →How to run a groovy script
• 13:4813:48, 30 November 2012 diff hist +313 ProB Java API Tutorial →How to save a history
• 13:4513:45, 30 November 2012 diff hist +441 ProB Java API Tutorial →How to save a history
• 13:4213:42, 30 November 2012 diff hist +977 ProB Java API Tutorial →How to convert between the main abstractions
• 13:3413:34, 30 November 2012 diff hist +1,213 ProB Java API Tutorial →How to carry out evaluations
• 13:2313:23, 30 November 2012 diff hist +1,111 ProB Java API Tutorial →How to switch from UI to groovy console
• 13:1213:12, 30 November 2012 diff hist +2 ProB Java API Tutorial No edit summary
• 13:1213:12, 30 November 2012 diff hist +2,144 ProB Java API Tutorial →How to animate models
• 12:4412:44, 30 November 2012 diff hist +286 ProB Java API Tutorial No edit summary
• 12:4012:40, 30 November 2012 diff hist +176 ProB Java API Tutorial →How to load a model
• 12:3012:30, 30 November 2012 diff hist +1,970 N ProB Java API Tutorial Created page with 'ProB 2.0 is currently experimental. This means that the implementation may change during the course of development. However, we have reached the point in development where some o…'
• 10:3210:32, 30 November 2012 diff hist +1 ProB 2.0 Development →Explanation of the basic programmatic abstractions
• 10:3210:32, 30 November 2012 diff hist +78 ProB 2.0 Development →Tutorial of the Current Features of ProB 2.0
• 10:2310:23, 30 November 2012 diff hist +1,022 Programmatic Abstractions in the ProB 2.0 API →History
• 10:1010:10, 30 November 2012 diff hist +947 Programmatic Abstractions in the ProB 2.0 API →StateSpace
• 10:0510:05, 30 November 2012 diff hist +703 Programmatic Abstractions in the ProB 2.0 API →Model
• 09:4809:48, 30 November 2012 diff hist +230 Programmatic Abstractions in the ProB 2.0 API →Overview
• 09:4509:45, 30 November 2012 diff hist +484 Programmatic Abstractions in the ProB 2.0 API No edit summary
• 09:3309:33, 30 November 2012 diff hist +53 N Programmatic Abstractions in the ProB 2.0 API Created page with '__TOC__ == Model == == StateSpace == == History =='
• 09:3209:32, 30 November 2012 diff hist +493 ProB 2.0 Development →Explanation of the basic programmatic abstractions
• 09:0709:07, 30 November 2012 diff hist −1 ProB 2.0 Development →Why Groovy?