Template:News/Archives: Difference between revisions

Revision as of 12:21, 19 March 2009

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.

@@ Line 1: / Line 1: @@
+* 11/12/08: Pages related to  [[Indexing System|indexing]] topic (see also [[Extending the Index Manager‎|[1]]] & [[Rodin Index Design|[2]]])
+* 11/12/08: [[EMF framework for Event-B]] proposal
+* 10/12/08: [[Proof Purger Interface|Proof Purger]] documentation and [[Proof Purger Design|design]]
 * 11/11/08: Update of [[Current Developments]] ([[Parallel Composition using Event-B|// composition]] & [[Refactoring Framework|Refactoring]])
 * 02/11/08: Release of [http://sourceforge.net/project/showfiles.php?group_id=108850&package_id=181714 Rodin platform 0.9] ([http://sourceforge.net/project/shownotes.php?release_id=637734&group_id=108850 changelog]).