Difference between revisions of "Rodin Platform 3.0 Release Notes"

From Event-B
Jump to navigationJump to search
imported>Nicolas
m (add 64 bit requirements)
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.
+
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 ====
{{TODO | NBG to document changes for Theory plug-in}}
+
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].
 
{{TODO | VERIFY/COMPLETE REQUIREMENTS ABOVE}}<br>
 
{{TODO | Inform here of some specific system requirements}}
 
  
 
* 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 ==
{{TODO | Link to the external page for plug-ins}}<br>
+
{{:Rodin_Platform_3.0.0_External_Plug-ins}}
Link of the form:
 
<nowiki>{{:Rodin_Platform_3.0.0_External_Plug-ins}}</nowiki>
 
 
 
== Installing ==
 
{{TODO | Add here a link to download the platform.}}
 
 
 
=== Downloading ===
 
[http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.0/ Download Rodin 3.0 now !]
 
  
 
== 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.