User:Jrloria: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Jrloria |
imported>Jrloria |
||
Line 1: | Line 1: | ||
==Developer Documentation== | ==Developer Documentation== | ||
Category: | ===Category:=== | ||
* [[:Category:Developer documentation]] | * [[:Category:Developer documentation]] | ||
General: | ===General:=== | ||
* [[Developer FAQ]] | * [[Developer FAQ]] | ||
* [[Rodin Developer Support]] | * [[Rodin Developer Support]] | ||
* [[How To Contribute]] | * [[How To Contribute]] | ||
Particular: | * [[Building Rodin Headless]] | ||
* [[Extending the Rodin Database]] | * [[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== | ==Projects== | ||
* [[:Category:Work in progress]] | * [[:Category:Work in progress]] | ||
* [[:Category:Design proposal]] | * [[:Category:Design proposal]] | ||
* [[:Category:Design]] | * [[:Category:Design]] |
Revision as of 11:16, 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
- 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