Shared Event Composition Release History

From Event-B
Revision as of 12:19, 8 June 2010 by imported>Renato
Jump to navigationJump to search
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.
Retrieved from ‘https://wiki.event-b.org/index.php?title=Shared_Event_Composition_Release_History&oldid=9397’