Difference between revisions of "Rodin Platform Releases"

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}}
 
== 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.
 
  
 
== 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.