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 |
1.3 ConventionsWe use the following conventions in this manual:
We use typewriter font for file names and directories. We use sans serif font for GUI elements like menus and buttons. Menu actions are depicted by a chain of elements, separated by “”, e.g. File New Event-B Component. |