Difference between revisions of "Rodin Platform Releases"

From Event-B
Jump to navigationJump to search
imported>Pascal
imported>Pascal
Line 8: Line 8:
 
* The optional plug-ins shall strive to meet the release date: the release will not be held back.
 
* 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 [[Mailing_lists | Announce]] and [[Mailing_lists | User]] mailing lists.
 
* The news related to the optional plug-ins are spread on the [[Mailing_lists | Announce]] and [[Mailing_lists | User]] mailing lists.
* A wiki page is dedicated to each release. Select a version from the lists below to see the corresponding release notes.
+
* A wiki page is dedicated to each release. Select a version from the lists below to see the corresponding release notes.
 +
* The maintainers of the optional plug-ins shall update the ''External Plug-ins'' section of the release notes (plug-in version, link to the plug-in documentation) once they have ensured the compatibility of their plug-ins with the Rodin platform.
  
 
== Upcoming Releases ==
 
== Upcoming Releases ==

Revision as of 10:03, 28 July 2010

Release Policy

  • The Rodin platform is released every 3 months.
  • The code is frozen 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.
  • The Eclipse versioning policy is enforced.
  • 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.
  • A wiki page is dedicated to each release. Select a version from the lists below to see the corresponding release notes.
  • The maintainers of the optional plug-ins shall update the External Plug-ins section of the release notes (plug-in version, link to the plug-in documentation) once they have ensured the compatibility of their plug-ins with the Rodin platform.

Upcoming Releases

Version Scheduled Release Date
2.0 30/09/2010

Previous Releases

Version Release Date
1.0 01/07/2009
1.1 15/10/2009
1.2 05/02/2010
1.3 05/05/2010
1.3.1 15/06/2010