Dear Rodin Users,
I am delighted to announce the release of Theory v1.3.2.
This is a bug-fix release, and is only compatible with Rodin 2.4.
Before using the plug-in, I strongly advise users to read the User Manual
and the plug-in documentation available at the plug-in wiki-page at:
A help section is also provided as part of the Rodin Help Content.
For further information or to report problems, please do not hesitate to
*Dependable Systems and Software Engineering Group*
*School of Electronics and Computer Science*
*University of Southampton*
Get latest updates about Open Source Projects, Conferences and News.