From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Pascal |
|
| Line 1: |
Line 1: |
| − | {{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.
| |
| − |
| |
| − | == Upcoming Releases ==
| |
| − |
| |
| − | {{SimpleHeader}}
| |
| − | |-
| |
| − | ! scope=col | Version || Scheduled Release Date
| |
| − | |-
| |
| − | |[[Rodin Platform 1.3 Release Notes|1.3]] || 30/04/2010?
| |
| − | |-
| |
| − | |[[Rodin Platform 2.0 Release Notes|2.0]] || 30/07/2010?
| |
| − | |}
| |
| − |
| |
| − | == Previous Releases ==
| |
| − |
| |
| − | {{SimpleHeader}}
| |
| − | |-
| |
| − | ! scope=col | Version || Release Date
| |
| − | |-
| |
| − | |[https://sourceforge.net/projects/rodin-b-sharp/files/Core_%20Rodin%20Platform/1.0/ 1.0] || 01/07/2009
| |
| − | |-
| |
| − | |[[Rodin Platform 1.1 Release Notes|1.1]] || 15/10/2009
| |
| − | |}
| |
| − |
| |
| − | [[Category:Rodin Platform Release Notes]]
| |
| − | [[Category:Rodin Platform]]
| |
| − | [[Category:Release Notes]]
| |
Latest revision as of 12:35, 14 June 2021
