Rodin Platform Releases: Difference between revisions
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 |