[Rodin announce] Theory v1.3.2 Release

[Issam M. <ma...@gm...>]

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:

http://wiki.event-b.org/index.php/Theory_Plug-in

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
contact me.

*Issam Maamria*

*E-mail:* *im...@ec...*

*Dependable Systems and Software Engineering Group*

*School of Electronics and Computer Science*

*University of Southampton*
*England, UK*