Name Modified Size InfoDownloads / Week
Parent folder
rodin-2.7.r15250-sources.zip 2012-10-31 13.7 MB
rodin-2.7-win32.win32.x86_64.zip 2012-10-31 69.6 MB
rodin-2.7-win32.win32.x86.zip 2012-10-31 69.6 MB
rodin-2.7-repo.zip 2012-10-31 72.3 MB
rodin-2.7-macosx.cocoa.x86_64.zip 2012-10-31 69.2 MB
rodin-2.7-linux.gtk.x86_64.zip 2012-10-31 69.7 MB
rodin-2.7-linux.gtk.x86.zip 2012-10-31 69.5 MB
rodin-2.7-dev.zip 2012-10-31 28.6 MB
DefaultAuto_ML800 2012-10-31 2.2 kB
README_2.7.txt 2012-10-31 1.3 kB
Totals: 10 Items   462.1 MB 0
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 http://wiki.event-b.org/index.php/Rodin_Platform_2.7_Release_Notes.
Source: README_2.7.txt, updated 2012-10-31