Related changes
From Event-B
Jump to navigationJump to search
Enter a page name to see changes on the pages linked to or from that page. (To see members of a category, enter "Category:Name of category"). Changes to pages on your Watchlist are highlighted in bold.
List of abbreviations:
- N
- This edit created a new page (also see list of new pages)
- m
- This is a minor edit
- b
- This edit was performed by a bot
- (±123)
- The page size changed by this number of bytes
6 July 2026
|
|
N 08:53 | Rodin Platform 3.10 Release Notes 9 changes history +5,293 [Idir (9×)] | |||
|
|
08:53 (cur | prev) +159 Idir talk contribs | ||||
|
|
08:52 (cur | prev) +17 Idir talk contribs (→Fixed Bugs and Implemented Features) | ||||
|
|
08:51 (cur | prev) +943 Idir talk contribs (→Fixed Bugs and Implemented Features) | ||||
|
|
08:40 (cur | prev) +1,803 Idir talk contribs | ||||
|
|
08:36 (cur | prev) +722 Idir talk contribs | ||||
|
|
08:34 (cur | prev) +374 Idir talk contribs | ||||
|
|
08:23 (cur | prev) +764 Idir talk contribs | ||||
|
|
08:01 (cur | prev) +146 Idir talk contribs | ||||
| N |
|
07:59 (cur | prev) +365 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.") | |||
