Shared Event Composition Release History: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Renato No edit summary |
imported>Renato No edit summary |
||
| Line 1: | Line 1: | ||
=====Version 1.1.6 ===== | |||
''28th May 2010'' | |||
Version compatible with Rodin 1.3.x | |||
*Features | |||
** Composition now allows the selection of the project of the machines to compose. The context must exist in the composed machine project. | |||
Version 1.1.4 [for Rodin 1.1.0] | Version 1.1.4 [for Rodin 1.1.0] | ||
Revision as of 12:19, 8 June 2010
Version 1.1.6
28th May 2010
Version compatible with Rodin 1.3.x
- Features
- Composition now allows the selection of the project of the machines to compose. The context must exist in the composed machine project.
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.
