Difference between pages "Rodin Platform Releases" and "File:Screen max completion constant.png"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Pascal
 
(Maintenance script uploaded File:Screen max completion constant.png)
 
Line 1: Line 1:
{{TOCright}}
+
Screenshot of TextEditor showing the code completion for a constant name
 
 
== 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.
 
* The maintainers of the optional plug-ins shall update the ''External Plug-ins'' section of the release notes (plug-in version, link to the plug-in documentation) once they have ensured the compatibility of their plug-ins with the Rodin platform.
 
 
 
== Upcoming Releases ==
 
 
 
{{SimpleHeader}}
 
|-
 
! scope=col | Version || Scheduled Release Date
 
|-
 
|[[Rodin Platform 2.1 Release Notes|2.1]] || 2011/01/28
 
|}
 
 
 
== Previous Releases ==
 
 
 
{{SimpleHeader}}
 
|-
 
! scope=col | Version || Release Date
 
|-
 
|[https://sourceforge.net/projects/rodin-b-sharp/files/Core_%20Rodin%20Platform/1.0/ 1.0] || 2009/07/01
 
|-
 
|[[Rodin Platform 1.1 Release Notes|1.1]] || 2009/10/15
 
|-
 
|[[Rodin Platform 1.2 Release Notes|1.2]] || 2010/02/05
 
|-
 
|[[Rodin Platform 1.3 Release Notes|1.3]] || 2010/05/05
 
|-
 
|[[Rodin Platform 1.3.1 Release Notes|1.3.1]] || 2010/06/15
 
|-
 
|[[Rodin Platform 2.0 Release Notes|2.0]] || 2010/10/08
 
|}
 
 
 
[[Category:Rodin Platform Release Notes]]
 
[[Category:Rodin Platform]]
 
[[Category:Release Notes]]
 

Latest revision as of 20:49, 30 April 2020

Screenshot of TextEditor showing the code completion for a constant name