Rodin HandbookThis 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 |
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. |