User contributions
From Event-B
Jump to navigationJump to search- 12:00, 4 April 2023 diff hist -43 Rodin Platform 3.8 Release Notes →Changes for plug-in developers current
- 07:19, 4 April 2023 diff hist -27 Rodin Platform 3.8 Release Notes →Fixed Bugs and Implemented Features
- 07:18, 4 April 2023 diff hist +1,213 Rodin Platform 3.8 Release Notes →Fixed Bugs and Implemented Features
- 06:54, 4 April 2023 diff hist 0 Rodin 64 bit current
- 06:51, 4 April 2023 diff hist 0 Rodin Platform Releases →Current Release current
- 06:50, 4 April 2023 diff hist +59 Rodin Platform Releases →Previous Releases
- 06:47, 4 April 2023 diff hist +4,281 N Rodin Platform 3.8 Release Notes Created page with "== What's New in Rodin 3.8? == Rodin 3.8 brings several bug fixes. It also upgrades the underlying Eclipse to 4.23 (2022-03), which can be run by Java 11 Runtimes. Please no..."
- 06:40, 4 April 2023 diff hist +181 Template:Dev News →Displayed as follow on the Main Page current
- 14:37, 29 April 2022 diff hist 0 Rodin Platform 3.7 Release Notes →About current
- 14:36, 29 April 2022 diff hist 0 Rodin Platform 3.7 Release Notes →About
- 14:27, 28 April 2022 diff hist 0 Rodin 64 bit
- 14:25, 28 April 2022 diff hist +410 Rodin Platform 3.7 Release Notes →Fixed Bugs and Implemented Features
- 14:24, 28 April 2022 diff hist +59 Rodin Platform Releases →Previous Releases
- 14:23, 28 April 2022 diff hist 0 Rodin Platform Releases →Current Release
- 14:16, 28 April 2022 diff hist -2 Rodin Platform 3.7 Release Notes →Fixed Bugs and Implemented Features
- 14:15, 28 April 2022 diff hist +496 Rodin Platform 3.7 Release Notes →Requirements - Compatibility
- 14:09, 28 April 2022 diff hist +3,870 N Rodin Platform 3.7 Release Notes Created page with "== What's New in Rodin 3.7? == Rodin 3.7 brings several bug fixes. It also upgrades the underlying Eclipse to 4.22 (2021-12), which can be run by Java 11 Runtimes. Please no..."
- 11:35, 28 April 2022 diff hist 0 Template:Dev News →Displayed as follow on the Main Page
- 11:34, 28 April 2022 diff hist +181 Template:Dev News →Displayed as follow on the Main Page
- 14:09, 25 May 2021 diff hist +399 Rodin Platform 3.6 Release Notes current
- 14:50, 19 May 2021 diff hist +430 Rodin Platform 3.6 Release Notes
- 14:47, 19 May 2021 diff hist -160 Rodin Platform 3.6 Release Notes →macOS specific requirements
- 14:46, 19 May 2021 diff hist +1 Rodin Platform 3.6 Release Notes →Java Runtime requirement
- 14:46, 19 May 2021 diff hist +2,596 Rodin Platform 3.6 Release Notes
- 11:58, 17 May 2021 diff hist +732 Rodin Platform 3.6 Release Notes →Installing
- 10:13, 17 May 2021 diff hist 0 Rodin 64 bit
- 10:12, 17 May 2021 diff hist +50 Template:Dev News →Displayed as follow on the Main Page
- 10:08, 17 May 2021 diff hist +118 Rodin Platform Releases →Previous Releases
- 10:06, 17 May 2021 diff hist 0 Rodin Platform Releases →Current Release
- 10:03, 17 May 2021 diff hist +162 Rodin Platform 3.6 Release Notes
- 10:00, 17 May 2021 diff hist 0 Rodin Platform 3.6 Release Notes →Downloading
- 10:00, 17 May 2021 diff hist +142 N Rodin Platform 3.6 Release Notes Created page with "== Installing == === Downloading === [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.5/ Download Rodin 3.5 now !]"
- 09:14, 17 May 2021 diff hist 0 Template:Dev News →Displayed as follow on the Main Page
- 09:14, 17 May 2021 diff hist +131 Template:Dev News →Displayed as follow on the Main Page