Difference between revisions of "User:Jrloria"

From Event-B
Jump to: navigation, search
(Developer Documentation)
(Particular:)
Line 35: Line 35:
 
* [[Extending the project explorer]]
 
* [[Extending the project explorer]]
 
* [[Predicate Variables Extension]]
 
* [[Predicate Variables Extension]]
 +
* [[Extending the Structure Editor]]
 +
 
==Very small pages==
 
==Very small pages==
 
* [[Sequents]]
 
* [[Sequents]]

Revision as of 12:29, 26 March 2010