Template:News

From Event-B

Revision as of 20:34, 11 November 2008 by imported>Mathieu

(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=13160’

Main page templates

Navigation menu