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