Difference between pages "Rodin 64 bit" and "Rodin Platform 3.6 Release Notes"
From Event-B
(Difference between pages)
Jump to navigationJump to search| Line 1: | Line 1: | ||
| − | + | {{TOCright}} | |
| − | |||
| − | + | == Installing == | |
| − | http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.6/ | + | === 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]] | ||
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.
