From Event-B
(Difference between pages)
Jump to navigationJump to search
|
|
Line 1: |
Line 1: |
− | {{TOCright}}
| |
| | | |
− |
| |
− | == Installing ==
| |
− |
| |
− | === Downloading ===
| |
− |
| |
− | [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.6/ Download Rodin 3.6 now !]
| |
− |
| |
− | === Upgrading from a previous version of Rodin 3.x ===
| |
− |
| |
− | If you run Rodin 3.1, 3.2, 3.3, 3.4 or 3.5, then you can upgrade your Rodin Platform by clicking Help > Check for Updates, then select Rodin 3.6 in the popup window and accept the licence terms. Note that the upgrading process can take quite a long time.
| |
− |
| |
− | Take care that Rodin 3.6 brings a new version of Eclipse. This means that once you have opened a workspace with Rodin 3.6, you will not be able to open it with a prior version of Rodin anymore. Please consider copying your workspace for Rodin 3.6 to avoid any disaster.
| |
− |
| |
− | If you run Rodin 3.0 or prior, you cannot upgrade to 3.6. You need to download the platform from SourceForge and reinstall your external plugins.
| |
− |
| |
− | == About ==
| |
− |
| |
− | Rodin Platform with git commit: <code>77c3449</code><br/>
| |
− | User Release date : 2021/05/17.
| |
− |
| |
− | [[Category:Rodin Platform Release Notes]]
| |
Latest revision as of 12:37, 14 June 2021