Difference between revisions of "Shared Event Composition Release History"
From Event-B
Jump to navigationJump to searchimported>Renato (New page: Version 1.1.4 [for Rodin 1.1.0] *Features ** Section related with 'VARIANT' was removed. ** Labels of the elements in the generated machine used '\' instead of '/' for the separation.) |
(No difference)
|
Revision as of 10:58, 11 November 2009
Version 1.1.4 [for Rodin 1.1.0]
- Features
- Section related with 'VARIANT' was removed.
- Labels of the elements in the generated machine used '\' instead of '/' for the separation.