|
|
| (4 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 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:Rodin Platform]]
| |
