Rodin Platform Releases: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Pascal |
imported>Pascal No edit summary |
||
| Line 1: | Line 1: | ||
{{TOCright}} | {{TOCright}} | ||
== Release Policy == | |||
* The Rodin platform is released every 3 months. | |||
* The code is freezed 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. | |||
Select a version from the list below to see the release notes for it. | Select a version from the list below to see the release notes for it. | ||
== Upcoming Releases == | |||
{{SimpleHeader}} | |||
|- | |||
! scope=col | Version || Scheduled Release Date | |||
|- | |||
|[[Rodin Platform 1.1 Release Notes|1.1]] || 15/10/2009 | |||
|} | |||
== 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 | |||
|} | |||
[[Category:Rodin Platform]] | [[Category:Rodin Platform]] | ||
Revision as of 13:43, 26 August 2009
Release Policy
- The Rodin platform is released every 3 months.
- The code is freezed 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.
Select a version from the list below to see the release notes for it.
Upcoming Releases
| Version | Scheduled Release Date |
|---|---|
| 1.1 | 15/10/2009 |
Previous Releases
| Version | Release Date |
|---|---|
| 1.0 | 01/07/2009 |
