UML-B release notes for 2.0.1
From Event-B
New Features=
OR and ANY pseudo-states Support OR and ANY pseudo-states so that transitions can be sourced from multiple states .
Bug Fixes
- Improved diagram maintenance operations (rename/open/delete)
- Corrections to statemachine translation flowdown button
- GMF: Fixed bug in diagram notes and annotation text