[Rodin-b-sharp-user] Release of plug-in for Generic instantiation

[Thai S. H. <ht...@in...>]

Dear Rodin users,
We are pleased to announce the release of a plug-in for generic
instantiation. The tool is developed by HITACHI and ETHZ for Event-B
as a Plug-in for RODIN platform.

Main features of the tool are as follows:

- Generic Instantiation Files for storing information about generic
instantiation.

- Wizard for creating generic instantiation files.

- Editor for generic instantiation files.

- Static checker for generic instantiation files.
- Performing generic instantiation by creating a new project based on
a source project and generic instantiation files.
General information about the plug-in can be found from the Event-B
wiki.
http://wiki.event-b.org/index.php/Generic_Instantiation_User_Guide
Best regards,
Son
Sent with [inky: <http://inky.com?kme=signature>]