Rodin Platform 3.6 Release Notes
From Event-B
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.
