Getting Started
From Event-B
Revision as of 15:40, 8 July 2008 by 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...)
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.
[How to create Rodin projects programmatically.]
How to make extensions to Rodin features.