Theory Release History: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Im06r |
imported>Im06r |
||
| Line 12: | Line 12: | ||
===User Manual=== | ===User Manual=== | ||
The user manual is available here, [http://wiki.event-b.org/ | The user manual is available here, [http://wiki.event-b.org/images/Theory_UM.pdf Theory User Manual]. | ||
===Releases=== | ===Releases=== | ||
Revision as of 13:13, 28 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
The user manual is available here, Theory 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.
Worked Examples
In this section, you find examples of theories and models using theories. TODO Include examples ASAP.
Features Requests and Bugs
Please do not hesitate to raise any issues with regards to usability as well as bugs.
