Rodin Platform 3.10 Release Notes: Difference between revisions
From Event-B
Jump to navigationJump to search
Created page with "== 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 plug-in developers === Rodin 3.10 is built on top of Eclipse 4.38 (2025-12), which requires Java 21." |
No edit summary |
||
| Line 8: | Line 8: | ||
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. | ||
== Installing == | |||
=== Downloading === | |||
[http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.10/ Download Rodin 3.10 now !] | |||
Revision as of 08:01, 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 plug-in developers
Rodin 3.10 is built on top of Eclipse 4.38 (2025-12), which requires Java 21.
