imported>Jrloria |
imported>Jrloria |
| 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]]
| |
| − | * [[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]]
| |
| − | * [[Extending the Structure Editor]]
| |
| − | * [[Extending Single View Design]]
| |
| | | | |
| − | ==Very small pages==
| |
| − | * [[Sequents]]
| |
| − | * [[How to Submit Patches]]
| |
| − |
| |
| − | ==Projects==
| |
| − | ===General===
| |
| − | * [[Current Developments]]
| |
| − | ===Category===
| |
| − | * [[:Category:Work in progress]]
| |
| − | * [[:Category:Design proposal]]
| |
| − | * [[:Category:Design]]
| |
