New pages
From Event-B
Jump to navigationJump to search
- 07:59, 6 July 2026 Rodin Platform 3.10 Release Notes (hist | edit) [5,293 bytes] 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.")
