Extending the Structure Editor
From Event-B
Revision as of 18:06, 24 March 2010 by imported>Son (→The relationship between the attribute and an internal element)
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.