Rodin Platform Releases
From Event-B
Release Policy
- The Rodin platform is released every 3 months.
- The code is freezed during the 2 weeks preceding each release.
- Each release is announced on the Devel mailing list. Two days later, the information is broadcast on the Announce and User mailing lists.
Select a version from the list below to see the release notes for it.
Upcoming Releases
| Version | Scheduled Release Date |
|---|---|
| 1.1 | 15/10/2009 |
Previous Releases
| Version | Release Date |
|---|---|
| 1.0 | 01/07/2009 |
