UML-B Statemachine Animation Release History
From Event-B
Revision as of 13:21, 8 June 2010 by imported>Colin (→New Features)
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.