Rodin Platform 3.10 Release Notes

From Event-B
Revision as of 07:59, 6 July 2026 by Idir (talk | contribs) (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.")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

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.

Retrieved from ‘https://wiki.event-b.org/index.php?title=Rodin_Platform_3.10_Release_Notes&oldid=14672’