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.9 How can I change the name of a Event-B Project?
Select the project whose name you want to modify, and then click on File 
Rename.... Modify the name and click on OK. The name of your project will then have been modified accordingly.
|
|
|
|
|
|