Theory Release History

From Event-B
Revision as of 11:37, 23 October 2010 by imported>Im06r (→‎News)
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

  • 25th October 2010: Version 0.5 released. It is based on Rodin 2.0.

User Manual

Releases

Features Requests and Bugs