Template:News
From Event-B
Revision as of 20:34, 11 November 2008 by imported>Mathieu
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.