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 |  |
 |
 |
1.1.1 Formats of this Handbook
The handbook comes in various formats:
- Eclipse Help
The Rodin Handbook is shipped with Rodin and can be accessed through the help system. The handbook will be updated with the standard Rodin update mechanism.
- Online Help
You can access the handbook online at http://handbook.event-b.org.
- PDF Help
Both online versions also include a link to the PDF version of the handbook.
|
|
|
|
|
|