Getting Started: Difference between revisions

From Event-B
Jump to navigationJump to search
← Older edit
imported>Colin
No edit summary
imported>Laurent
m Fixed double redirect.
 
(13 intermediate revisions by 4 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:

Retrieved from ‘https://wiki.event-b.org/index.php?title=Getting_Started&oldid=5449’