Difference between pages "Rodin Platform 3.6 Release Notes" and "File:RodinWorkshop2021 Scenario Checker.pdf"
From Event-B
(Difference between pages)
Jump to navigationJump to search
|
|
Line 1: |
Line 1: |
− | {{TOCright}}
| |
| | | |
− |
| |
− | == Installing ==
| |
− |
| |
− | === Downloading ===
| |
− |
| |
− | [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.6/ Download Rodin 3.6 now !]
| |
− |
| |
− | == About ==
| |
− |
| |
− | Rodin Platform with git commit: <code>77c3449</code><br/>
| |
− | User Release date : 2021/05/17.
| |
− |
| |
− | [[Category:Rodin Platform Release Notes]]
| |
Latest revision as of 12:37, 14 June 2021