Difference between revisions of "Extending the Structure Editor"
From Event-B
Jump to navigationJump to searchimported>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 === | ||
