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.2 Rodin Wiki
This handbook is complemented by the Rodin wiki (http://wiki.event-b.org/). Sometimes, the handbook will refer to the wiki for more information. Also, plugin and developer information is usually located in the wiki.
|
|
|
|
|
|