|
|
| (One intermediate revision 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]]
| |
| * [[Extending the Structure Editor]]
| |
|
| |
|
| ==Very small pages==
| |
| * [[Sequents]]
| |
| * [[How to Submit Patches]]
| |
|
| |
| ==Projects==
| |
| ===General===
| |
| * [[Current Developments]]
| |
| ===Category===
| |
| * [[:Category:Work in progress]]
| |
| * [[:Category:Design proposal]]
| |
| * [[:Category:Design]]
| |
