Template:News
From Event-B
Displayed as follow on the Main Page
- 11/11/08: Update of Current Developments (// composition & Refactoring
- 02/11/08: Release of Rodin platform 0.9 (changelog).
- 28/10/08: Developer documentation on accessing projects and elements.
- 28/10/08: Developer documentation for accessing proof obligations.