[Rodin-b-sharp-user] UML-B Statemachine Animation 1.0.1

[Colin S. <cf...@ec...>]

Dear All,

A new release (Version 1.0.1) of UML-B State-machine Animation is available on the main Rodin update site.
This release is an update so that the plug-in works with the latest version of Pro-B.

Dr Colin F. Snook
Dependable Systems and Software Engineering,
School of Electronics and Computer Science,
University of Southampton
Southampton
SO17 1BJ