Difference between pages "Rodin Platform Releases" and "File:Example variables.png"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Nicolas
 
(Maintenance script uploaded File:Example variables.png)
 
Line 1: Line 1:
{{TOCright}}
+
Example - The variables
 
 
== Current Release ==
 
 
 
{{SimpleHeader}}
 
|-
 
! scope=col | Version || Release Date
 
|-
 
|[[Rodin Platform 2.4 Release Notes|2.4]] || 2012/02/03
 
|}
 
 
 
== Current plug-ins ==
 
{{:Rodin_Platform_2.4_External_Plug-ins}}
 
 
 
== Upcoming Releases ==
 
 
 
{{SimpleHeader}}
 
|-
 
! scope=col | Version || Scheduled Release Date
 
|-
 
|[[Rodin Platform 2.5 Release Notes|2.5]] || 2012/04/30
 
|}
 
 
 
== Previous Releases ==
 
 
 
{{SimpleHeader}}
 
|-
 
! scope=col | Version || Release Date
 
|-
 
|[[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 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 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>
 
 
 
[[Category:Rodin Platform Release Notes]]
 
[[Category:Rodin Platform]]
 
[[Category:Release Notes]]
 

Latest revision as of 20:50, 30 April 2020

Example - The variables