Rodin Platform 3.0 Release Notes: Difference between revisions

Revision as of 15:01, 12 February 2014

Rodin 3.0 IS NOT YET AVAILABLE.
This release is planned for beginning of 2014.

For developers, there are API evolutions, see Rodin 3.0 Plug-in Migration Guide.

Release Notes are commented on this page here below.
Uncomment when finishing edition.

@@ Line 13: / Line 13: @@
 * General Interface
-{{TODO | ...}}
+{{TODO | TMU to document actions to commands }}
 * Modelling
 ** Consolidation of the Rodin Editor<br> The Rodin editor has been lifted up to provide its users with basic edition functionnalities such as navigation actions, edition actions, etc. The undo-redo actions have also been fixed.
+* Tactic profiles
+{{TODO | NBG to document}}
 * Proving
-{{TODO | ...}}
+{{TODO | LVO to document work by JDO}}
 * Changes for plugin-developers
@@ Line 29: / Line 32: @@
 ==== [[Stronger AST Library]] ====
-{{TODO | ...}}
+{{TODO | LVO to document FF, user visible changes}}
 ==== Stronger sequent prover ====
-{{TODO | ...}}
+{{TODO | NBG to document changes for Theory plug-in}}
 ==== Parent-child relationship enforcement ====
-Parent-child relationship were moved appart from UI to the EventB core.
+Parent-child relationship were moved apart from UI to the EventB core.
 A dedicated page [[Element Hierarchy Extension Point & Library]] exist and documents the performed changes.
@@ Line 45: / Line 48: @@
 ** Windows 32-bit
 ** Windows 64-bit
-** Mac 64-bit
+** Mac OS X 64-bit
 * You need to have a Java JRE (6.0 or later) installed on your computer. The Rodin product will not work with a previous version. To run Rodin 64-bit, you need a 64-bit JRE.