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 24: | Line 24: | ||
==== Separation of symbols translation and UI related translation ==== | ==== Separation of symbols translation and UI related translation ==== | ||
The dependency on the Event-B UI plug-in has been removed by splitting text translation from translation within graphical components. | |||
<tt>org.rodinp.keyboard.core</tt> plug-in contains the textual translation utilities, | |||
<tt>org.rodinp.keyboard.ui</tt> plug-in contains the UI translation capabilties that where available from the legacy <tt>org.rodinp.keyboard</tt> plug-in. | |||
==== [[Stronger AST Library]] ==== | ==== [[Stronger AST Library]] ==== | ||
{{TODO | ...}} | {{TODO | ...}} |
Revision as of 18:17, 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.