[Rodin-b-sharp-user] UML-B 0.6.0

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

Dear All,

A new version of UML-B is now available. UML-B 0.6.0 works in Rodin  
1.1.x. You can install it from the Rodin Update site as usual

New in this version:-

You can now double click on diagram objects to open associated diagrams.
Designate Invariants and axioms as theorems.
New properties tables in Machine and Context for classes and  
classtypes (resp) (this allows you to control the order of translation)
Fixed a bug in the translation of state machine nested final  
transitions.

Regards
Colin