Difference between revisions of "User:Jrloria"

From Event-B
Jump to: navigation, search
(Project)
(Developer Documentation)
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 12:16, 26 March 2010