[Rodin-b-sharp-user] Theory Plug-in v0.8

[Issam M. <im...@ec...>]

Dear Rodin Users,

I am delighted to announce the release of the Theory plug-in version 0.8.

This release includes certain bug fixes and requires Rodin 2.1.1. Also, 
experimental support for recursive definition of operators is added. An 
import relationship now exists between theories. Finally, it is also 
possible to defined theories at two different levels: workspace and 
project levels.

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

For any further information or to report problems, please do not 
hesitate to contact me.

*Issam Maamria*

*E-mail:*/im...@ec... <mailto:im...@ec...>/

*Dependable Systems and Software Engineering Group*

*School of Electronics and Computer Science*

*University of Southampton*

*England, UK*