Difference between revisions of "Rodin Platform Releases"

From Event-B
Jump to navigationJump to search
imported>Pascal
imported>Pascal
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.
  
* [[Rodin Platform 1.1 Release Notes|1.1]]
+
== 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