Rodin Handbook





 

4.3.11 How can I remove a Event-B Component?

In order to remove a component, press the right-click on the component. In the context menu, select Delete. This component is removed from the Project Explorer.