Theory Release History: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Im06r
imported>Im06r
Line 13: Line 13:
''28th October 2010''
''28th October 2010''


This is the first release of the Theory plug-in.
This is the first release of the Theory plug-in with support for mathematical as well as prover extensions.


===Features Requests and Bugs===
===Features Requests and Bugs===

Revision as of 10:44, 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.

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