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