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.) |
imported>Renato |
||
| 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.
