imported>Jrloria |
imported>Jrloria |
(3 intermediate revisions by the same user not shown) |
Line 1: |
Line 1: |
− | ==Developer Documentation==
| |
− | ===Category:===
| |
− | * [[:Category:Developer documentation]]
| |
− | ===General:===
| |
− | * [[Developer FAQ]]
| |
− | * [[Rodin Developer Support]]
| |
− | * [[How To Contribute]]
| |
− | * [[Building Rodin Headless]]
| |
− | * [[CruiseControl]]
| |
− | * [[Procedure for developing, reviewing and publishing a plugin]]
| |
− | * [[Switch from CVS to Subversion]]
| |
− | ===Particular:===
| |
− | * [[Event-B Indexers]]
| |
− | * [[Generated Model Elements]]
| |
− | * [[New Tactic Providers]]
| |
− | * [[ProB API]]
| |
− | * [[Sequent Prover Developer Guide]]
| |
− | * [[Serializing Mathematical Formulas]]
| |
− | * [[Single View Design]] (Concern UI)
| |
− | * [[Tracking Memory Leaks]]
| |
− | * [[Versioned Reasoners]]
| |
− | ====Accessing and modifiying database====
| |
− | * [[Database]]
| |
− | * [[Accessing Proof Obligations]]
| |
− | * [[How to create Rodin projects programmatically]]
| |
− | * [[How to read Rodin projects and elements programmatically]]
| |
− | ====Extending====
| |
− | * [[Extending the Rodin Database]]
| |
− | * [[Adding Automatic Inference Reasoners]]
| |
− | * [[Adding Automatic Rewrite Reasoners]]
| |
− | * [[Adding Manual Inference Reasoners]]
| |
− | * [[Adding Manual Rewrite Reasoners]]
| |
− | * [[Extending the Index Manager]]
| |
− | * [[Extending the Proof Manager]]
| |
− | * [[Extending the project explorer]]
| |
− | * [[Predicate Variables Extension]]
| |
− | ==Very small pages==
| |
− | * [[Sequents]]
| |
− | * [[How to Submit Patches]]
| |
| | | |
− | ==Projects==
| |
− | * [[:Category:Work in progress]]
| |
− | * [[:Category:Design proposal]]
| |
− | * [[:Category:Design]]
| |