Difference between revisions of "Getting Started"
From Event-B
Jump to navigationJump to searchimported>Mathieu m (How to access Proof Obligations) |
imported>Mathieu m (Add link to some existing pages) |
||
| 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 read Rodin projects and elements programmatically]] | + | * [[How to read Rodin projects and elements programmatically]]. |
| − | [[How to create Rodin projects programmatically]] | + | * [[How to create Rodin projects programmatically]]. |
| − | [[Accessing Proof Obligations|How to access Proof Obligations]] | + | * [[Accessing Proof Obligations|How to access Proof Obligations]]. |
| − | [[How to make extensions to Rodin features]] | + | * How to add [[Adding Automatic Inference Reasoners|automatic]] or [[Adding Manual Inference Reasoners|manual]] inference [[Proof_Manager#Reasoners|reasoners]]. |
| + | |||
| + | * How to add [[Adding Automatic Rewrite Reasoners|automatic]] or [[Adding Manual Rewrite Reasoners|manual]] rewrite [[Proof_Manager#Reasoners|reasoners]]. | ||
| + | |||
| + | * [[How to make extensions to Rodin features]]. | ||
[[Category:Developer documentation]] | [[Category:Developer documentation]] | ||
[[Category:Rodin Platform]] | [[Category:Rodin Platform]] | ||
Revision as of 13:48, 30 October 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.
