User contributions for Idir
From Event-B
Jump to navigationJump to search
4 April 2023
- 12:0012:00, 4 April 2023 diff hist −43 Rodin Platform 3.8 Release Notes →Changes for plug-in developers current
- 07:1907:19, 4 April 2023 diff hist −27 Rodin Platform 3.8 Release Notes →Fixed Bugs and Implemented Features
- 07:1807:18, 4 April 2023 diff hist +1,213 Rodin Platform 3.8 Release Notes →Fixed Bugs and Implemented Features
- 06:5406:54, 4 April 2023 diff hist 0 Rodin 64 bit No edit summary current
- 06:5106:51, 4 April 2023 diff hist 0 Rodin Platform Releases →Current Release current
- 06:5006:50, 4 April 2023 diff hist +59 Rodin Platform Releases →Previous Releases
- 06:4706: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:4006:40, 4 April 2023 diff hist +181 Template:Dev News →Displayed as follow on the Main Page
29 April 2022
- 14:3714:37, 29 April 2022 diff hist 0 Rodin Platform 3.7 Release Notes →About current
- 14:3614:36, 29 April 2022 diff hist 0 Rodin Platform 3.7 Release Notes →About
28 April 2022
- 14:2714:27, 28 April 2022 diff hist 0 Rodin 64 bit No edit summary
- 14:2514:25, 28 April 2022 diff hist +410 Rodin Platform 3.7 Release Notes →Fixed Bugs and Implemented Features
- 14:2414:24, 28 April 2022 diff hist +59 Rodin Platform Releases →Previous Releases
- 14:2314:23, 28 April 2022 diff hist 0 Rodin Platform Releases →Current Release
- 14:1614:16, 28 April 2022 diff hist −2 Rodin Platform 3.7 Release Notes →Fixed Bugs and Implemented Features
- 14:1514:15, 28 April 2022 diff hist +496 Rodin Platform 3.7 Release Notes →Requirements - Compatibility
- 14:0914: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:3511:35, 28 April 2022 diff hist 0 Template:Dev News →Displayed as follow on the Main Page
- 11:3411:34, 28 April 2022 diff hist +181 Template:Dev News →Displayed as follow on the Main Page
25 May 2021
- 14:0914:09, 25 May 2021 diff hist +399 Rodin Platform 3.6 Release Notes No edit summary current
19 May 2021
- 14:5014:50, 19 May 2021 diff hist +430 Rodin Platform 3.6 Release Notes No edit summary
- 14:4714:47, 19 May 2021 diff hist −160 Rodin Platform 3.6 Release Notes →macOS specific requirements
- 14:4614:46, 19 May 2021 diff hist +1 Rodin Platform 3.6 Release Notes →Java Runtime requirement
- 14:4614:46, 19 May 2021 diff hist +2,596 Rodin Platform 3.6 Release Notes No edit summary
17 May 2021
- 11:5811:58, 17 May 2021 diff hist +732 Rodin Platform 3.6 Release Notes →Installing
- 10:1310:13, 17 May 2021 diff hist 0 Rodin 64 bit No edit summary
- 10:1210:12, 17 May 2021 diff hist +50 Template:Dev News →Displayed as follow on the Main Page
- 10:0810:08, 17 May 2021 diff hist +118 Rodin Platform Releases →Previous Releases
- 10:0610:06, 17 May 2021 diff hist 0 Rodin Platform Releases →Current Release
- 10:0310:03, 17 May 2021 diff hist +162 Rodin Platform 3.6 Release Notes No edit summary
- 10:0010:00, 17 May 2021 diff hist 0 Rodin Platform 3.6 Release Notes →Downloading
- 10:0010: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:1409:14, 17 May 2021 diff hist 0 Template:Dev News →Displayed as follow on the Main Page
- 09:1409:14, 17 May 2021 diff hist +131 Template:Dev News →Displayed as follow on the Main Page
