Rodin Platform Releases

From Event-B
Revision as of 14:01, 26 August 2009 by imported>Pascal
Jump to navigationJump to search

Select a version from the list below to see the release notes for it.

Release Policy

  • The Rodin platform is released every 3 months.
  • Each release is announced on the Devel mailing list. Two days later, the information is broadcast on the Announce and User mailing lists.
  • The Eclipse versioning policy is enforced.
  • The code is frozen during the 2 weeks preceding each release.
  • The optional plug-ins shall strive to meet the release date: the release will not be held back.
  • The news related to the optional plug-ins are spread on the Announce and User mailing lists.

Upcoming Releases

Version Scheduled Release Date
1.1 15/10/2009

Previous Releases

Version Release Date
1.0 01/07/2009
Retrieved from ‘https://wiki.event-b.org/index.php?title=Rodin_Platform_Releases&oldid=8208’