Rodin User Manual

From Event-B

Revision as of 08:04, 27 October 2011 by imported>Ladenberger

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

Jump to navigation Jump to search

User manual

User Manual for Rodin

The original and now outdated version is available in PDF format here.

New material not yet included in the manual:

Installing external plug-ins manually

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

Navigation menu