Theory Release History: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Im06r |
imported>Im06r |
||
| Line 5: | Line 5: | ||
===News=== | ===News=== | ||
* ''25th October 2010'': [[#Version_0.5|Version 0.5]] released. It is based on Rodin 2.0. | |||
===User Manual=== | ===User Manual=== | ||
Revision as of 11:37, 23 October 2010
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.
