Rodin Handbook
This work is sponsored by the Deploy Project
This work is licensed under a Creative Commons Attribution 3.0 Unported License
 |
 |
 |
User Manual for Rodin v.2.3 |  |
 |
 |
4.3.11 How to remove a Event-B Component
In order to remove a component, press the right mouse button on the component. In the context menu, select Delete. This component is removed from the Project Explorer.
|
|
|
|
|
|