Difference between revisions of "User:Jrloria"

From Event-B
Jump to navigationJump to search
imported>Jrloria
imported>Jrloria
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 11:29, 26 March 2010