Getting Started: Difference between revisions

From Event-B
Jump to navigationJump to search
← Older edit
imported>Mathieu
m How to access Proof Obligations
imported>Laurent
m Fixed double redirect.
 
(5 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]]
 
[[Accessing Proof Obligations|How to access Proof Obligations]]
 
[[How to make extensions to Rodin features]]
 
[[Category:Developer documentation]]
[[Category:Rodin Platform]]

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’