UML-B Statemachine Animation Release History
From Event-B
New Features
None. This release is purely to change to Version 1.0.0 and to update allowable versions of dependencies.
Version 1.0.1 fixes a version dependency and a minor bug.
None. This release is purely to change to Version 1.0.0 and to update allowable versions of dependencies.
Version 1.0.1 fixes a version dependency and a minor bug.