imported>Mathieu |
imported>Laurent |
| (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]]
| |
