Rodin Platform 3.0 Release Notes: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Laurent No edit summary |
imported>Nicolas mNo edit summary |
||
| Line 19: | Line 19: | ||
* Tactic profiles | * Tactic profiles | ||
The tactic profiles are now quickly available while proving: from Proof Control, click the 'Profiles' dropdown list and choose the profile, it is applied immediately. | |||
* Proving | * Proving | ||
| Line 29: | Line 29: | ||
The dependency on the Event-B UI plug-in has been removed by splitting text translation from translation within graphical components. | 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.core</tt> plug-in contains the textual translation utilities, | ||
<tt>org.rodinp.keyboard.ui</tt> plug-in contains the UI translation | <tt>org.rodinp.keyboard.ui</tt> plug-in contains the UI translation capabilities that where available from the legacy <tt>org.rodinp.keyboard</tt> plug-in. | ||
==== [[Stronger AST Library]] ==== | ==== [[Stronger AST Library]] ==== | ||
Revision as of 17:50, 20 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.
