Name Modified Size Downloads / Week Status
Parent folder
Totals: 10 Items   445.9 MB 16 2012-02-01 13.4 MB 11 weekly downloads 2012-02-01 69.4 MB 11 weekly downloads 2012-02-01 69.4 MB 22 weekly downloads 2012-02-01 72.0 MB 11 weekly downloads 2012-02-01 69.0 MB 11 weekly downloads 2012-02-01 69.5 MB 11 weekly downloads 2012-02-01 69.3 MB 11 weekly downloads 2012-02-01 14.0 MB 11 weekly downloads
README_2.4.txt 2012-02-01 1.3 kB 11 weekly downloads
DefaultAuto_ML800 2012-02-01 2.2 kB 66 weekly downloads
This is the Rodin Platform, including tools for Event-B modelling. To install, just unpack the archive anywhere on your hard-disk and launch the "rodin" executable in it. ------------------------------------------------------------------------- WARNING This release is not backward compatible with releases 0.9.x or less. Your workspace files will be automatically upgraded to the new file version, so please BACKUP your workspace(s) before using this new release. ------------------------------------------------------------------------- Important Notes: - You also need to have a Java JRE (6.0 or later) installed on your computer. The Rodin product will not work with a previous version. - To enhance your proving experience, you're strongly advised to install the Atelier B provers, as explained in the Welcome page of the tool. - If you plan to reuse projects created with a release 0.9.x of the platform or earlier, you have to clean up these projects first. For that, just click "Project > Clean..." in the menubar and select the projects to clean in the window that pops up. Additional Information ---------------------- See
Source: README_2.4.txt, updated 2012-02-01