Rodin Platform Releases: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Tommy m Added upcoming plug-in release table policy |
imported>Tommy Moved the release policy at the bottom of the page |
||
| Line 1: | Line 1: | ||
{{TOCright}} | {{TOCright}} | ||
== Current Release == | == Current Release == | ||
| Line 63: | Line 47: | ||
|[https://sourceforge.net/projects/rodin-b-sharp/files/Core_%20Rodin%20Platform/1.0/ 1.0] || 2009/07/01 | |[https://sourceforge.net/projects/rodin-b-sharp/files/Core_%20Rodin%20Platform/1.0/ 1.0] || 2009/07/01 | ||
|} | |} | ||
== 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 [[Mailing_lists | Devel]] mailing list. Two days later, the information is broadcast on the [[Mailing_lists | Announce]] and [[Mailing_lists | User]] mailing lists. | |||
* The [http://wiki.eclipse.org/index.php/Version_Numbering 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 [[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. | |||
* 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. | |||
* The maintainers indicate the release plan for their optional plug-ins on this page. Please use ''on time'' and ''delayed'' keywords for the scheduled status. | |||
: To indicate that the plug-in will be released on the platform's release date, please use the following template : | |||
<nowiki>|[[My plug-in info page link | My plug-in]] || 0.9b || <span style="color:#006400">on time</span> || || contactadress@mypluginspace.com</nowiki> | |||
: To indicate that the plug-in will be released at a later date, please use the following template: | |||
<nowiki>|[[My second plug-in link | My plug-in 2]] || 4.2 || <span style="color:#8B4513">delayed</span> || <span style="color:#8B4513"> dd/mm/yyy </span> || contactadress@mypluginspace.com</nowiki> | |||
:Note that this table will be upgraded as soon as the upcoming version of the platform is out. | |||
[[Category:Rodin Platform Release Notes]] | [[Category:Rodin Platform Release Notes]] | ||
[[Category:Rodin Platform]] | [[Category:Rodin Platform]] | ||
[[Category:Release Notes]] | [[Category:Release Notes]] | ||
Revision as of 11:48, 1 December 2010
Current Release
| Version | Release Date |
|---|---|
| 2.0.1 | 2010/11/16 |
Upcoming Releases
| Version | Scheduled Release Date |
|---|---|
| 2.1 | 2011/01/28 |
Upcoming compatible plug-ins
| Plug-in name | Version | Status | Release Date | Contact |
|---|
Previous Releases
| Version | Release Date |
|---|---|
| 2.0.1 | 2010/11/16 |
| 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 |
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.
- The maintainers indicate the release plan for their optional plug-ins on this page. Please use on time and delayed keywords for the scheduled status.
- To indicate that the plug-in will be released on the platform's release date, please use the following template :
|[[My plug-in info page link | My plug-in]] || 0.9b || <span style="color:#006400">on time</span> || || contactadress@mypluginspace.com
- To indicate that the plug-in will be released at a later date, please use the following template:
|[[My second plug-in link | My plug-in 2]] || 4.2 || <span style="color:#8B4513">delayed</span> || <span style="color:#8B4513"> dd/mm/yyy </span> || contactadress@mypluginspace.com
- Note that this table will be upgraded as soon as the upcoming version of the platform is out.
