Difference between revisions of "Rodin Platform 3.0 Release Notes"
From Event-B
Jump to navigationJump to searchimported>Laurent |
imported>Nicolas m |
||
| 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.
