Extending the Rodin Database: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Son m New page: == Adding a New Element == == Adding a New Attribute to Existing Elements == |
imported>Son |
||
| Line 1: | Line 1: | ||
== Adding a New Element == | == Adding a New Element == | ||
== Adding a New Attribute to Existing Elements == | == Adding a New Attribute to Existing Elements == | ||
The extension point org.rodinp.core.attributeTypes to declare a new attribute. | |||
Revision as of 15:50, 24 March 2010
Adding a New Element
Adding a New Attribute to Existing Elements
The extension point org.rodinp.core.attributeTypes to declare a new attribute.
