Difference between revisions of "Rodin Platform Releases"
From Event-B
Jump to navigationJump to searchimported>Pascal |
imported>Laurent m (→Previous Releases: Inverse order of releases) |
||
Line 26: | Line 26: | ||
! scope=col | Version || Release Date | ! scope=col | Version || Release Date | ||
|- | |- | ||
− | |[ | + | |[[Rodin Platform 2.0 Release Notes|2.0]] || 2010/10/08 |
+ | |- | ||
+ | |[[Rodin Platform 1.3.1 Release Notes|1.3.1]] || 2010/06/15 | ||
|- | |- | ||
− | |[[Rodin Platform 1. | + | |[[Rodin Platform 1.3 Release Notes|1.3]] || 2010/05/05 |
|- | |- | ||
|[[Rodin Platform 1.2 Release Notes|1.2]] || 2010/02/05 | |[[Rodin Platform 1.2 Release Notes|1.2]] || 2010/02/05 | ||
|- | |- | ||
− | |[[Rodin Platform 1. | + | |[[Rodin Platform 1.1 Release Notes|1.1]] || 2009/10/15 |
|- | |- | ||
− | |[ | + | |[https://sourceforge.net/projects/rodin-b-sharp/files/Core_%20Rodin%20Platform/1.0/ 1.0] || 2009/07/01 |
− | |||
− | |||
|} | |} | ||
Revision as of 11:59, 28 October 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.1 | 2011/01/28 |
Previous Releases
Version | Release Date |
---|---|
2.0 | 2010/10/08 |
1.3.1 | 2010/06/15 |
1.3 | 2010/05/05 |
1.2 | 2010/02/05 |
1.1 | 2009/10/15 |
1.0 | 2009/07/01 |