Difference between revisions of "Getting Started"
From Event-B
Jump to navigationJump to searchimported>Mathieu m (link) |
imported>Mathieu 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 do I [[start a new development]]. | ||
* [[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 add [[Adding Automatic Inference Reasoners|automatic]] or [[Adding Manual Inference Reasoners|manual]] inference [[reasoners]]. | * How to add [[Adding Automatic Inference Reasoners|automatic]] or [[Adding Manual Inference Reasoners|manual]] inference [[reasoners]]. | ||
− | |||
* How to add [[Adding Automatic Rewrite Reasoners|automatic]] or [[Adding Manual Rewrite Reasoners|manual]] rewrite [[reasoners]]. | * How to add [[Adding Automatic Rewrite Reasoners|automatic]] or [[Adding Manual Rewrite Reasoners|manual]] rewrite [[reasoners]]. | ||
− | |||
* [[How to make extensions to Rodin features]]. | * [[How to make extensions to Rodin features]]. | ||
[[Category:Developer documentation]] | [[Category:Developer documentation]] | ||
[[Category:Rodin Platform]] | [[Category:Rodin Platform]] |
Revision as of 10:53, 10 November 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.
- How do I start a new development.
- How to read Rodin projects and elements programmatically.
- How to create Rodin projects programmatically.
- How to access Proof Obligations.
- How to add automatic or manual inference reasoners.
- How to add automatic or manual rewrite reasoners.
- How to make extensions to Rodin features.