Difference between revisions of "User:Jrloria"
From Event-B
Jump to navigationJump to searchimported>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
Contents
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