Rodin Platform 3.10 Release Notes: Difference between revisions
No edit summary |
No edit summary |
||
| Line 5: | Line 5: | ||
Please note that we only provide 64-bit binary versions of the Rodin platform. | Please note that we only provide 64-bit binary versions of the Rodin platform. | ||
=== Changes for | === Changes for plugin developers === | ||
Rodin 3.10 is built on top of Eclipse 4.38 (2025-12), which requires Java 21. | Rodin 3.10 is built on top of Eclipse 4.38 (2025-12), which requires Java 21. | ||
| Line 14: | Line 14: | ||
[http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.10/ Download Rodin 3.10 now !] | [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.10/ Download Rodin 3.10 now !] | ||
=== Upgrading from a previous version of Rodin 3.x === | |||
If you are running Rodin 3.1, 3.2, 3.3, 3.4, 3.5, 3.6, 3.7, 3.8, or 3.9, you can upgrade your Rodin Platform by clicking Help > Check for Updates, selecting Rodin 3.10 in the pop-up window, and accepting the license terms. Note that the upgrading process can take quite a long time. | |||
Take care that Rodin 3.10 brings a new version of Eclipse. This means that once you have opened a workspace in Rodin 3.10, you will no longer be able to open it in a prior version of Rodin. Please consider copying your workspace for Rodin 3.10 to avoid any disaster. | |||
If you are running Rodin 3.0 or earlier, you cannot upgrade to 3.10. You need to download the platform from SourceForge and reinstall your external plugins | |||
Revision as of 08:23, 6 July 2026
What's New in Rodin 3.10?
Rodin 3.10 brings several bug fixes. It also upgrades the underlying Eclipse to 4.38 (2025-12), which can be run by Java 21 Runtimes.
Please note that we only provide 64-bit binary versions of the Rodin platform.
Changes for plugin developers
Rodin 3.10 is built on top of Eclipse 4.38 (2025-12), which requires Java 21.
Installing
Downloading
Upgrading from a previous version of Rodin 3.x
If you are running Rodin 3.1, 3.2, 3.3, 3.4, 3.5, 3.6, 3.7, 3.8, or 3.9, you can upgrade your Rodin Platform by clicking Help > Check for Updates, selecting Rodin 3.10 in the pop-up window, and accepting the license terms. Note that the upgrading process can take quite a long time.
Take care that Rodin 3.10 brings a new version of Eclipse. This means that once you have opened a workspace in Rodin 3.10, you will no longer be able to open it in a prior version of Rodin. Please consider copying your workspace for Rodin 3.10 to avoid any disaster.
If you are running Rodin 3.0 or earlier, you cannot upgrade to 3.10. You need to download the platform from SourceForge and reinstall your external plugins
