Rodin Platform 3.0 Release Notes: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Tommy mNo edit summary |
imported>Tommy mNo edit summary |
||
| Line 16: | Line 16: | ||
* Modelling | * Modelling | ||
** Consolidation of the Rodin Editor. | ** 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. | ||
* Proving | * Proving | ||
| Line 24: | Line 24: | ||
==== Separation of symbols translation and UI related translation ==== | ==== Separation of symbols translation and UI related translation ==== | ||
==== [[Stronger AST Library]] ==== | ==== [[Stronger AST Library]] ==== | ||
{{TODO | ...}} | {{TODO | ...}} | ||
Revision as of 18:14, 2 January 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.
