|
|
Line 1: |
Line 1: |
− | {{TOCright}}
| |
| | | |
− | == Current Release ==
| |
− | <p style="font-size:14pt">The current version of Rodin release is [[Rodin Platform 3.6 Release Notes|3.6]]. It has been published on 2021-05-17. Installation and Release Notes can be found [http://wiki.event-b.org/index.php/Rodin_Platform_3.6_Release_Notes here]</p>
| |
− |
| |
− | == Current plug-ins ==
| |
− | {{:Rodin_Platform_3.5.0_External_Plug-ins}}
| |
− |
| |
− | == Previous Releases ==
| |
− |
| |
− | {{SimpleHeader}}
| |
− | |-
| |
− | ! scope=col | Version || Release Date
| |
− | |-
| |
− | |[[Rodin Platform 3.4 Release Notes|3.4]] || 2018/02/23
| |
− | |-
| |
− | |[[Rodin Platform 3.3 Release Notes|3.3]] || 2017/04/05
| |
− | |-
| |
− | |[[Rodin Platform 3.2 Release Notes|3.2]] || 2015/09/22
| |
− | |-
| |
− | |[[Rodin Platform 3.1 Release Notes|3.1]] || 2014/12/17
| |
− | |-
| |
− | |[[Rodin Platform 3.0 Release Notes|3.0]] || 2014/03/25
| |
− | |-
| |
− | |[[Rodin Platform 2.8 Release Notes|2.8]] || 2013/06/20
| |
− | |-
| |
− | |[[Rodin Platform 2.7 Release Notes|2.7]] || 2012/11/06
| |
− | |-
| |
− | |[[Rodin Platform 2.6 Release Notes|2.6]] || 2012/08/03
| |
− | |-
| |
− | |[[Rodin Platform 2.5 Release Notes|2.5]] || 2012/05/02
| |
− | |-
| |
− | |[[Rodin Platform 2.4 Release Notes|2.4]] || 2011/01/31
| |
− | |-
| |
− | |[[Rodin Platform 2.3 Release Notes|2.3]] || 2011/10/04
| |
− | |-
| |
− | |[[Rodin Platform 2.2.2 Release Notes|2.2.2]] || 2011/08/01
| |
− | |-
| |
− | |[[Rodin Platform 2.2 Release Notes|2.2]] || 2011/06/01
| |
− | |-
| |
− | |[[Rodin Platform 2.1.1 Release Notes|2.1.1]] || 2011/03/15
| |
− | |-
| |
− | |[[Rodin Platform 2.1 Release Notes|2.1]] || 2011/02/08
| |
− | |-
| |
− | |[[Rodin Platform 2.0.1 Release Notes|2.0.1]] || 2010/11/16
| |
− | |-
| |
− | |[[Rodin Platform 2.0 Release Notes|2.0]] || 2010/10/08
| |
− | |-
| |
− | |[[Rodin Platform 1.3.1 Release Notes|1.3.1]] || 2010/06/15
| |
− | |-
| |
− | |[[Rodin Platform 1.3 Release Notes|1.3]] || 2010/05/05
| |
− | |-
| |
− | |[[Rodin Platform 1.2 Release Notes|1.2]] || 2010/02/05
| |
− | |-
| |
− | |[[Rodin Platform 1.1 Release Notes|1.1]] || 2009/10/15
| |
− | |-
| |
− | |[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 on an irregular basis.
| |
− | * 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 broadcasted 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'' page of the concerned release once they have ensured the compatibility of their plug-ins with the Rodin platform.
| |
− | : To indicate that the plug-in is released and compatible with the current platform, please use the following template:
| |
− | <nowiki>| [[Image:My_plug-in_logo|30px]] || [[My plug-in info page link | My plug-in]] || version || <span style="color:#006400">available</span> || || contact address || Additional notes about the plugin</nowiki>
| |
− | : To indicate that the plug-in is not yet available and will be released at a later date, please use the following template:
| |
− | <nowiki>| [[Image:My_plug-in_logo|30px]] || [[My plug-in info page link | My plug-in]] || version || <span style="color:#8B4513"> not available</span> || expected_release_date || contact address || Additional notes</nowiki>
| |
− | : To indicate that the plug-in is no longer maintained for the next version:
| |
− | <nowiki>| [[Image:My_plug-in_logo|30px]] || [[My plug-in info page link | My plug-in]] || version || <span style="color:#FF0000">not maintained</span> || || contact address|| Additional notes</nowiki>
| |
− | * The compatibility is preserved upwardly throught model and proof upward compatibility. However, this compatibility is ensured on models and proofs (not on plaform preferences, etc.).
| |
− | Also, only the latest version is maintained (i.e. there is no maintenance of old releases).
| |
− |
| |
− | [[Category:Rodin Platform Release Notes]]
| |
− | [[Category:Rodin Platform]]
| |
− | [[Category:Release Notes]]
| |