All public logs

Combined display of all available logs of Event-B. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 07:59, 6 July 2026 Idir talk contribs created page Rodin Platform 3.10 Release Notes (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.")