Rodin Platform 3.10 Release Notes

From Event-B
Revision as of 08:01, 6 July 2026 by Idir (talk | contribs)
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.

Installing

Downloading

Download Rodin 3.10 now !

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