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:
HTML Version
PDF Version
Eclipse Help (browsable HTML)
An Eclipse Update Site is available under:
http://handbook.event-b.org/updatesite
Release April 4, 2012
The following artifacts are generated from the current Subversion repository:
HTML Version
PDF Version
Eclipse Help (as Plugin)
Eclipse Help (browsable HTML)
The work on this Handbook is initiated and supported by the DEPLOY Project.
More information about this project is available at the Rodin Wiki.