User:Jrloria: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Jrloria |
imported>Jrloria |
||
| Line 17: | Line 17: | ||
* [[Sequent Prover Developer Guide]] | * [[Sequent Prover Developer Guide]] | ||
* [[Serializing Mathematical Formulas]] | * [[Serializing Mathematical Formulas]] | ||
* [[Tracking Memory Leaks]] | * [[Tracking Memory Leaks]] | ||
* [[Versioned Reasoners]] | * [[Versioned Reasoners]] | ||
| Line 36: | Line 35: | ||
* [[Predicate Variables Extension]] | * [[Predicate Variables Extension]] | ||
* [[Extending the Structure Editor]] | * [[Extending the Structure Editor]] | ||
* [[Extending Single View Design]] | |||
==Very small pages== | ==Very small pages== | ||
Revision as of 18:30, 26 March 2010
Developer Documentation
Category:
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
