Difference between revisions of "Theory Release History"
From Event-B
Jump to navigationJump to searchimported>Im06r (→News) |
imported>Im06r |
||
| Line 10: | Line 10: | ||
===Releases=== | ===Releases=== | ||
| + | ===== Version 0.3.0 ===== | ||
| + | ''25th October 2010'' | ||
| + | |||
| + | This is the first release of the Theory plug-in. | ||
===Features Requests and Bugs=== | ===Features Requests and Bugs=== | ||
Revision as of 11:38, 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.
User Manual
Releases
Version 0.3.0
25th October 2010
This is the first release of the Theory plug-in.
