Rodin Handbook

The work on this Handbook is initiated and supported by the DEPLOY Project. More information about this project is available at the Rodin Wiki.

Continuous build

The following artifacts are generated from the current Subversion repository:

An Eclipse Update Site is available under: http://handbook.event-b.org/updatesite

Release December 4, 2014

The following artifacts are generated from the current Subversion repository:

Release April 4, 2012

The following artifacts are generated from the current Subversion repository: