Difference between revisions of "Extending the Structure Editor"

From Event-B
Jump to: navigation, search
m (Adding a new element)
m (Adding a new attribute)
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