Theory Release History

From Event-B
Revision as of 12:59, 27 October 2010 by imported>Im06r (→‎Features Requests and Bugs)
Jump to navigationJump to search

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

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

Retrieved from ‘https://wiki.event-b.org/index.php?title=Theory_Release_History&oldid=10348’