Getting Started: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Mathieu mNo edit summary |
imported>Jrloria No edit summary |
||
| 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 Contribute]] | |||
* How do I [[start a new development]]. | * How do I [[start a new development]]. | ||
* [[How to read Rodin projects and elements programmatically]]. | * [[How to read Rodin projects and elements programmatically]]. | ||
Revision as of 10:33, 28 May 2009
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 Contribute
- 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.
