Getting Started: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Colin
No edit summary
imported>Colin
No edit summary
Line 6: Line 6:


[[How to make extensions to Rodin features]]
[[How to make extensions to Rodin features]]
[[How to create Rodin projects programmatically.]]

Revision as of 10:27, 10 July 2008

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


How to create Rodin projects programmatically.