Template:News
From Event-B
Displayed as follow on the Main Page
- 05/01/08: Mailing lists are now operational.
- 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 & Refactoring)
- 02/11/08: Release of Rodin platform 0.9 (changelog).