Template:News

From Event-B

Revision as of 20:33, 11 November 2008 by imported>Mathieu (Update of Current Developments (// composition & Refactoring * 02/11/08: Release of [http://sourceforge.net/project/showfiles.php?g)

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

Jump to navigation Jump to search

Displayed as follow on the Main Page

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.

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

Main page templates

Navigation menu