Theory Release History
From Event-B
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.