Shared Event Composition Release History
From Event-B
Revision as of 10:59, 11 November 2009 by imported>Renato
Version 1.1.4 [for Rodin 1.1.0]
- Features
- Section related with 'VARIANT' was removed.
- Labels of the elements in the generated machine use '\' instead of '/' for the separation.