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.9 How to 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.
|
|
|
|
|
|