Getting Started: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Colin
New page: This section illustrates some of the things you are likely to want to do in your plug-ins if you are extending the Rodin platform. How to read Rodin projects and elements programmatically...
 
imported>Laurent
m Fixed double redirect.
 
(16 intermediate revisions by 4 users not shown)
Line 1: Line 1:
This section illustrates some of the things you are likely to want to do in your plug-ins if you are extending the Rodin platform.
#REDIRECT [[Developer FAQ]]
 
How to read Rodin projects and elements programmatically.
 
[How to create Rodin projects programmatically.]
 
How to make extensions to Rodin features.

Latest revision as of 12:44, 26 November 2010

Redirect to:

Retrieved from ‘https://wiki.event-b.org/index.php?title=Getting_Started&oldid=5449’