Rodin Handbook





 

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.