Template:News
From Event-B
Jump to navigationJump to search
Displayed as follow on the Main Page
- 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
- 10/10/09: New Flows and Modularisation plug-in pages
- 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)
