Theory Release History

From Event-B

Revision as of 10:44, 27 October 2010 by imported>Im06r (→‎Version 0.5)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump 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.

Contents

1 News
2 User Manual
3 Releases
- 3.1 Version 0.5
4 Features Requests and Bugs

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

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

Navigation menu