Template:News
From Event-B
Revision as of 18:28, 16 December 2008 by imported>Renato (→Displayed as follow on the Main Page)
Displayed as follow on the Main Page
- 11/12/08: Pages related to indexing topic (see also [1] & [2])
- 11/12/08: EMF framework for Rodin proposal
- 10/12/08: Proof Purger documentation and design
- 11/11/08: Update of Current Developments (// composition)
- 02/11/08: Release of Rodin platform 0.9 (changelog).
