Difference between revisions of "Getting Started"
From Event-B
Jump to navigationJump to searchimported>Mathieu m (Add link to some existing pages) |
imported>Mathieu m (link) |
||
Line 7: | Line 7: | ||
* [[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 [[ | + | * 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 [[ | + | * 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]]. |
Revision as of 14:24, 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.