Template:News
From Event-B
Displayed as follow on the Main Page
- 01/06/11: Rodin platform 2.2 released
- 08/02/11: Rodin platform 2.1 released
- 13/10/10: Rodin platform 2.0 released
- 20/10/09: Rodin platform 1.1.0 released
- 15/09/09: The Wiki search has changed to GoogleSiteSearch
- 29/07/09: DEPLOY Plenary Meeting 2009 - Call for Papers
- 22/07/09: Three new examples added since June.
- 01/07/09: Rodin platform 1.0.0 released (changelog)