Template:News/Archives

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
11/11/08: Update of Current Developments (// composition & Refactoring)
02/11/08: Release of Rodin platform 0.9 (changelog).
28/10/08: Developer documentation on accessing projects and elements.
28/10/08: Developer documentation for accessing proof obligations.
14/10/08: A Requirements-Telco is currently being organized.
03/10/08: Page about merging proof created. Single view updated.
29/09/08: Scenarios for Team-based Development‎ created. Talk page populated.
26/09/08: Current Developments is being updated to track the work being done.
25/09/08: Proof Manager updated as well as some other parts of Rodin Developer Support.