Difference between revisions of "Extending the Structure Editor"

From Event-B
Jump to: navigation, search
m (New page: === Adding a new element === === Adding a new attribute ===)
 
m (Adding a new element)
Line 1: Line 1:
=== Adding a new element ===
+
=== Adding a New Element ===
  
 
=== Adding a new attribute ===
 
=== Adding a new attribute ===

Revision as of 18:52, 24 March 2010

Adding a New Element

Adding a new attribute