Difference between pages "Rodin Platform 1.2 Release Notes" and "Rodin Platform Releases"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Tommy
 
imported>Mathieu
m
 
Line 1: Line 1:
 
{{TOCright}}
 
{{TOCright}}
  
−
== What's New in Rodin 1.2? ==
+
== Release Policy ==
−
{{TODO | List here the new features and improvements.}}
+
* 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.
  
−
* [[Generated Model Elements | Generated elements]]
+
== Upcoming Releases ==
  
−
* [[Predicate_variables|Predicate variables extension]]
+
{{SimpleHeader}}
 +
|-
 +
! scope=col | Version || Scheduled Release Date
 +
|-
 +
|[[Rodin Platform 1.2 Release Notes|1.2]] || 15/01/2010
 +
|-
 +
|[[Rodin Platform 2.0 Release Notes|2.0]] ||
 +
|}
  
−
* Migration to Eclipse 3.5 (Galileo)
+
== Previous Releases ==
−
 
 
−
* Use SWT.UNDERLINE_LINK (@since 3.5) for StyledText links
 
−
 
 
−
== Requirements ==
 
−
{{TODO | Inform here of some specific system requirements (version of Java, etc).}}
 
−
 
 
−
== External plug-ins ==
 
−
{{TODO | Describe here the available plug-ins, and the supported versions for this release.}}
 
−
 
 
−
== Downloading ==
 
−
{{TODO | Add here a link to download the platform.}}
 
−
 
 
−
== Fixed Bugs ==
 
−
{{TODO | Add here a list of the fixed bugs.}}
 
−
 
 
−
== Known Issues ==
 
−
{{TODO | Add here a link to the SourceForge Bugs page, after filtering bugs (Assignee Any, Status Open, Category Any, Group 1.2).}}
 
−
 
 
−
* XULRunner 1.9.1 may cause an SWT exception that prevents from opening an editor (as well as any browser-based ui component). To fix it, it is possible to specify XULRunner path to point to 1.9.0: edit "rodin.ini" and add the following line:
 
−
-Dorg.eclipse.swt.browser.XULRunnerPath=/usr/lib/xulrunner-1.9.0.14
 
−
where "/usr/lib/xulrunner-1.9.0.14" must be replaced with your actual XULRunner 1.9.0 install directory.
 
−
 
 
−
* Using Rodin on GNOME desktop may result in a situation where buttons lock windows. To avoid this situation, it is needed to launch Rodin with
 
−
GDK_NATIVE_WINDOWS=1 /path_to_rodin/rodin
 
  
 +
{{SimpleHeader}}
 +
|-
 +
! scope=col | Version || Release Date
 +
|-
 +
|[https://sourceforge.net/projects/rodin-b-sharp/files/Core_%20Rodin%20Platform/1.0/ 1.0] || 01/07/2009
 +
|-
 +
|[[Rodin Platform 1.1 Release Notes|1.1]] || 15/10/2009
 +
|}
  
 
[[Category:Rodin Platform Release Notes]]
 
[[Category:Rodin Platform Release Notes]]
 +
[[Category:Rodin Platform]]
 +
[[Category:Release Notes]]

Revision as of 11:50, 13 November 2009

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 Devel mailing list. Two days later, the information is broadcast on the Announce and User mailing lists.
  • The 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 Announce and User mailing lists.
  • A wiki page is dedicated to each release. Select a version from the lists below to see the corresponding release notes.

Upcoming Releases

Version Scheduled Release Date
1.2 15/01/2010
2.0

Previous Releases

Version Release Date
1.0 01/07/2009
1.1 15/10/2009
Retrieved from ‘https://wiki.event-b.org/index.php?title=Rodin_Platform_1.2_Release_Notes&oldid=8215’