User contributions
From Event-B
Jump to navigationJump to search- 08:37, 11 September 2020 diff hist +623 Rodin Platform 3.5 Release Notes
- 08:05, 11 September 2020 diff hist +11 Rodin Platform 3.5 Release Notes →About
- 08:02, 11 September 2020 diff hist +74 Rodin Platform 3.5 Release Notes →Rodin is not notarized
- 07:58, 11 September 2020 diff hist +187 Rodin Platform 3.5 Release Notes →Requirements - Compatibility
- 07:43, 11 September 2020 diff hist +2 Rodin Platform 3.5 Release Notes →Requirements - Compatibility
- 07:42, 11 September 2020 diff hist +72 Rodin Platform 3.5 Release Notes →Upgrading from a previous version of Rodin 3.x
- 14:37, 8 September 2020 diff hist +1,076 Rodin Platform 3.5 Release Notes
- 14:14, 8 September 2020 diff hist +437 Rodin Platform 3.5 Release Notes →Fixed Bugs and Implemented Features
- 12:35, 8 September 2020 diff hist +40 Rodin Platform 3.5 Release Notes →Fixed Bugs and Implemented Features
- 12:31, 8 September 2020 diff hist +493 Rodin Platform 3.5 Release Notes →Fixed Bugs and Implemented Features
- 09:55, 8 September 2020 diff hist +4,509 N Rodin Platform 3.5 Release Notes Created page with "{{TOCright}} == What's New in Rodin 3.5? == Rodin 3.5 brings several bug fixes, and upgrades the underlying Eclipse to 2020-06. Please note that we no longer provide 32-bit..."