Theory Release History

From Event-B
Revision as of 16:34, 1 October 2010 by imported>Im06r (New page: Back to Theory Plug-in. Follow this page for the latest on the Theory plug-in. The user manual is also provided together with the installation details. ===News=== ===User Manual=== ...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

Back to Theory Plug-in.

Follow this page for the latest on the Theory plug-in. The user manual is also provided together with the installation details.

News

User Manual

Releases

Features Requests and Bugs

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