Difference between revisions of "User:Jrloria"

From Event-B
Jump to: navigation, search
(Particular:)
(Removing all content from page)
 
Line 1: Line 1:
==Developer Documentation==
 
===Category:===
 
* [[:Category:Developer documentation]]
 
===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]]
 
* [[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]]
 
* [[Extending the Structure Editor]]
 
* [[Extending Single View Design]]
 
  
==Very small pages==
 
* [[Sequents]]
 
* [[How to Submit Patches]]
 
 
==Projects==
 
===General===
 
* [[Current Developments]]
 
===Category===
 
* [[:Category:Work in progress]]
 
* [[:Category:Design proposal]]
 
* [[:Category:Design]]
 

Latest revision as of 12:19, 29 March 2010