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.