Difference between revisions of "Extending the Structure Editor"
From Event-B
Jump to navigationJump to searchimported>Son |
imported>Son |
||
Line 1: | Line 1: | ||
=== Adding a New Element === | === Adding a New Element === | ||
− | === Adding a | + | === Adding a New Attribute === |