Template:News

From Event-B

Revision as of 15:08, 17 December 2008 by imported>Renato (Undo revision 2213 by Renato (Talk))

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

Displayed as follow on the Main Page

11/12/08: Pages related to indexing topic (see also [1] & [2])
11/12/08: EMF framework for Rodin 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).

Retrieved from ‘https://wiki.event-b.org/index.php?title=Template:News&oldid=13165’

Main page templates

Navigation menu