Extending the Structure Editor: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Son |
imported>Son |
||
| Line 7: | Line 7: | ||
==== How the attribute is going to be displayed/edited ==== | ==== How the attribute is going to be displayed/edited ==== | ||
==== The relationship between the attribute and | ==== The relationship between the attribute and internal elements ==== | ||
Revision as of 18:06, 24 March 2010
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.
