Extending the Structure Editor

From Event-B
Revision as of 18:52, 24 March 2010 by Son (talk | contribs) (Adding a new element)
Jump to: navigation, search

Adding a New Element

Adding a new attribute