Rodin Platform 3.6 Release Notes: Difference between revisions
From Event-B
Jump to navigationJump to search
No edit summary |
|||
| Line 7: | Line 7: | ||
[http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.6/ Download Rodin 3.6 now !] | [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 == | == About == | ||
Revision as of 11:58, 17 May 2021
Installing
Downloading
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: 77c3449
User Release date : 2021/05/17.
