Shared Event Composition Release History: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>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. |
imported>Renato No edit summary |
||
| Line 3: | Line 3: | ||
*Features | *Features | ||
** Section related with 'VARIANT' was removed. | ** Section related with 'VARIANT' was removed. | ||
** Labels of the elements in the generated machine | ** Labels of the elements in the generated machine use '\' instead of '/' for the separation. | ||
Revision as of 10:59, 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 use '\' instead of '/' for the separation.
