Rodin Platform 3.0 Release Notes: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Nicolas m add 64 bit requirements |
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 | The tactic profiles are now quickly available while proving: from Proof Control, click the green triangle dropdown list and choose the profile, it is applied immediately. | ||
* Proving | * Proving | ||
| Line 35: | Line 35: | ||
==== Stronger sequent prover ==== | ==== Stronger sequent prover ==== | ||
In order to improve the reliability of the proof status when working with mathematical extensions, the reasoners can be declared as context-dependent. The proofs that use a context dependent reasoner will not be trusted merely based on their dependencies, but instead they will be replayed in order to update their status. This applies in particular to Theory Plug-in reasoners, that depend on the mathematical language and proof rules defined in theories, which change over time. | |||
==== Parent-child relationship enforcement ==== | ==== Parent-child relationship enforcement ==== | ||
Parent-child relationship were moved apart from UI to the EventB core. | Parent-child relationship were moved apart from UI to the EventB core. | ||
A dedicated page [[Element Hierarchy Extension Point & Library]] exist and documents the performed changes. | A dedicated page [[Element Hierarchy Extension Point & Library]] exist and documents the performed changes. | ||
== Installing == | |||
=== Downloading === | |||
[http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.0/ Download Rodin 3.0 now !] | |||
=== (Not) Upgrading from Rodin 2.x === | |||
For this major release, upgrading from Rodin 2.x is not supported. | |||
This is due to limitations in Eclipse p2 (about conflict resolutions) and would work only if no plug-ins are installed... which makes it close to useless ! | |||
In case some would be interested anyway, here are the steps: | |||
* Upgrade Rodin Handbook to the latest version (2.5.0.201310101603) | |||
* Add Eclipse 3.8 Update Site: http://download.eclipse.org/eclipse/updates/3.8/ | |||
* Upgrade to Rodin 3 using the 'Core Rodin Updates' site | |||
== Requirements - Compatibility == | == Requirements - Compatibility == | ||
| Line 53: | Line 69: | ||
* To enhance your proving experience, the eclipse font settings (size, aspect...) are available from the preferences (General > Appearance > Colors and Fonts > Rodin). These settings allow you to modify the properties set on the Event-B Keyboard Text Font which is used in many views of the Proving UI. However, to enjoy these functionnalities, you need to install the Brave Sans Mono font on your system. You can download this font from the link [http://sourceforge.net/projects/rodin-b-sharp/files/Font_%20Brave%20Sans%20Mono/0.12/ here]. | * To enhance your proving experience, the eclipse font settings (size, aspect...) are available from the preferences (General > Appearance > Colors and Fonts > Rodin). These settings allow you to modify the properties set on the Event-B Keyboard Text Font which is used in many views of the Proving UI. However, to enjoy these functionnalities, you need to install the Brave Sans Mono font on your system. You can download this font from the link [http://sourceforge.net/projects/rodin-b-sharp/files/Font_%20Brave%20Sans%20Mono/0.12/ here]. | ||
* Linux 64-bit: | * Linux 64-bit: | ||
: package libc6-amd64:i386 must be installed, in particular in order to run external prover binaries | : package 'libc6-amd64:i386' must be installed, in particular in order to run external prover binaries | ||
* Windows 64-bit: | * Windows 64-bit: | ||
| Line 66: | Line 79: | ||
== External plug-ins == | == External plug-ins == | ||
{{:Rodin_Platform_3.0.0_External_Plug-ins}} | |||
== Fixed Bugs == | == Fixed Bugs == | ||
Revision as of 15:45, 17 March 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.
