Difference between revisions of "Developer Documentation"
From Event-B
Jump to navigationJump to searchimported>Jrloria (New page: This pages gives a general overview upon the different pages about the development of Rodin. Normally all those pages belong to the Category:Developer documentation. ==General pages...) |
imported>Laurent |
||
| (3 intermediate revisions by 2 users not shown) | |||
| Line 10: | Line 10: | ||
* [[Procedure for developing, reviewing and publishing a plugin]] | * [[Procedure for developing, reviewing and publishing a plugin]] | ||
* [[Switch from CVS to Subversion]] | * [[Switch from CVS to Subversion]] | ||
| − | + | * [[Migration to Git]] | |
==Particular topics:== | ==Particular topics:== | ||
| Line 45: | Line 45: | ||
==Very small pages== | ==Very small pages== | ||
| − | * [ | + | * [http://handbook.event-b.org/current/html/sequents.html Sequents] |
* [[How to Submit Patches]] | * [[How to Submit Patches]] | ||
| − | |||
==Projects== | ==Projects== | ||
| Line 56: | Line 55: | ||
* [[:Category:Design proposal]] | * [[:Category:Design proposal]] | ||
* [[:Category:Design]] | * [[:Category:Design]] | ||
| + | |||
| + | |||
| + | [[Category:Developer documentation]] | ||
Latest revision as of 09:17, 20 November 2013
This pages gives a general overview upon the different pages about the development of Rodin. Normally all those pages belong to the Category:Developer documentation.
Contents
General pages:
- 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
- Migration to Git
Particular topics:
- 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 the 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
