Theory Release History: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Im06r |
imported>Im06r |
||
| Line 6: | Line 6: | ||
* ''28th October 2010'': [[#Version_0.5|Version 0.5]] released. It is based on Rodin 2.0. | * ''28th October 2010'': [[#Version_0.5|Version 0.5]] released. It is based on Rodin 2.0. | ||
=== Installation & Update === | |||
The installation or update for the Theory plug-in is available under the main Rodin Update site (http://rodin-b-sharp.sourceforge.net/updates). Like always, after the installation, restarting Rodin is recommended. | |||
===User Manual=== | ===User Manual=== | ||
Revision as of 13:01, 27 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
- 28th October 2010: Version 0.5 released. It is based on Rodin 2.0.
Installation & Update
The installation or update for the Theory plug-in is available under the main Rodin Update site (http://rodin-b-sharp.sourceforge.net/updates). Like always, after the installation, restarting Rodin is recommended.
User Manual
Releases
Version 0.5
28th October 2010
This is the first release of the Theory plug-in with support for mathematical as well as prover extensions.
Features Requests and Bugs
Please do not hesitate to raise any issues with regards to usability as well as bugs.
