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