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
Formats of this Handbook
Rodin User’s Handbook v.2.8
| |
|
|
|
Rodin User’s Handbook v.2.8 |
|
|
|
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.
|