Extending the Structure Editor
From Event-B
Revision as of 18:04, 24 March 2010 by imported>Son (→Adding a New Attribute)
Contents
Adding a New Element
Adding a New Attribute
In order to add a new displaying/editing a new attribute in the Structure Editor, there are two steps.