Difference between revisions of "Rodin Platform 3.0 Release Notes"
From Event-B
Jump to navigationJump to searchimported>Tommy m |
imported>Tommy m |
||
| Line 27: | Line 27: | ||
<tt>org.rodinp.keyboard.core</tt> plug-in contains the textual translation utilities, | <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. | <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 | ...}} | ||
| + | |||
==== Stronger sequent prover ==== | ==== Stronger sequent prover ==== | ||
{{TODO | ...}} | {{TODO | ...}} | ||
| + | |||
==== Parent-child relationship enforcement ==== | ==== Parent-child relationship enforcement ==== | ||
Parent-child relationship were moved appart from UI to the EventB core. | Parent-child relationship were moved appart from UI to the EventB core. | ||
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.
