Rodin Handbook





 

4.3.6 How can I remove a Event-B Project?

In order to remove a project, first select it on the Project Explorer and then right click with the mouse. The contextual menu will appear on the screen as indicated in Figure 4.1.

\includegraphics{img/faq/faq_removeproject.png}
Figure 4.1: Removing a Event-B Project

Simply click on Delete, and your project will be deleted (after you confirm that you want to delete it in the window that pops up). It is then removed from the Project Explorer.