Rodin Handbook
This work is sponsored by the Deploy Project
This work is sponsored by the ADVANCE Project
This work is licensed under a Creative Commons Attribution 3.0 Unported License
 |
 |
 |
Rodin User’s Handbook v.2.8 |  |
 |
 |
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.
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.
|
|
|
|
|
|