All public logs
From Event-B
Jump to navigationJump to search
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).
- 09:15, 11 September 2020 Laurent talk contribs created page Rodin Platform 3.5.0 External Plug-ins (Created page with "==== Rodin Update Site ==== Available from http://rodin-b-sharp.sourceforge.net/updates <!-- Please use one of the following templates for the Status column <span st...")
- 09:55, 8 September 2020 Laurent talk contribs created page 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...")