Difference between revisions of "Getting Started"

From Event-B
Jump to: navigation, search
m
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.
 
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 Contribute]]
 
* How do I [[start a new development]].
 
* How do I [[start a new development]].
 
* [[How to read Rodin projects and elements programmatically]].
 
* [[How to read Rodin projects and elements programmatically]].

Revision as of 11:33, 28 May 2009

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.