UML-B release notes for 2.0.1: Difference between revisions

From Event-B
Jump to navigationJump to search
Newer edit →
imported>Colin
New page: =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 ope...
(No difference)

Revision as of 19:58, 17 October 2010

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
Retrieved from ‘https://wiki.event-b.org/index.php?title=UML-B_release_notes_for_2.0.1&oldid=10553’