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?