Difference between revisions of "Getting Started"

From Event-B
Jump to navigationJump to search
imported>WikiSysop
imported>Laurent
m (Fixed double redirect.)
 
(9 intermediate revisions by 2 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: