Template:News
From Event-B
Revision as of 20:33, 11 November 2008 by imported>Mathieu (Update of Current Developments (// composition & Refactoring * 02/11/08: Release of [http://sourceforge.net/project/showfiles.php?g)
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.