Theory Release History: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Im06r
imported>Im06r
No edit summary
Line 18: Line 18:


This is the first release of the Theory plug-in with support for mathematical as well as prover extensions.
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.


===Features Requests and Bugs===
===Features Requests and Bugs===
Please do not hesitate to raise any issues with regards to usability as well as bugs.
Please do not hesitate to raise any issues with regards to usability as well as bugs.

Revision as of 13:06, 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.

Worked Examples

In this section, you find examples of theories and models using theories.

Features Requests and Bugs

Please do not hesitate to raise any issues with regards to usability as well as bugs.