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:30, 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