Difference between revisions of "User:Jrloria"

From Event-B
Jump to: navigation, search
(Projects)
(Particular:)
Line 17: Line 17:
 
* [[Sequent Prover Developer Guide]]
 
* [[Sequent Prover Developer Guide]]
 
* [[Serializing Mathematical Formulas]]
 
* [[Serializing Mathematical Formulas]]
* [[Single View Design]] (Concern UI)
 
 
* [[Tracking Memory Leaks]]
 
* [[Tracking Memory Leaks]]
 
* [[Versioned Reasoners]]
 
* [[Versioned Reasoners]]
Line 36: Line 35:
 
* [[Predicate Variables Extension]]
 
* [[Predicate Variables Extension]]
 
* [[Extending the Structure Editor]]
 
* [[Extending the Structure Editor]]
 +
* [[Extending Single View Design]]
  
 
==Very small pages==
 
==Very small pages==

Revision as of 19:30, 26 March 2010