Template:News
From Event-B
Displayed as follow on the Main Page
- 18/02/09: Rodin platform 0.9.2.1 released (changelog)
- 12/01/08: Event-B Examples page initiated.
- 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 Event-B proposal
- 10/12/08: Proof Purger documentation and design