https://wiki.event-b.org/index.php?action=history&feed=atom&title=UML-B_release_notes_for_2.1.0 2026-05-15T04:30:30Z Revision history for this page on the wiki MediaWiki 1.42.1 https://wiki.event-b.org/index.php?title=UML-B_release_notes_for_2.1.0&diff=10555&oldid=prev 2010-11-19T19:23:54Z

<p>New page: =New Features= * make diagram preferences particular to each diagram type * enable super-type arrows to target ExtendedClassTypes and RefinedClasses * provide convergence property on state...</p> <p><b>New page</b></p><div>=New Features=<br /> * make diagram preferences particular to each diagram type<br /> * enable super-type arrows to target ExtendedClassTypes and RefinedClasses<br /> * provide convergence property on state transitions<br /> * report to user if translation didn&#039;t proceed due to model validator<br /> * hide disjunct transitions from Refines property section<br /> * improve refresh of diagrams for error marking<br /> * improve refresh of diagrams for properties changes<br /> * improvements and additions to model validations<br /> <br /> ==Bug Fixes==<br /> * fix missing default labelling in diagrams<br /> * fix automatic diagram deletion<br /> * fix bug that stopped universal quantification for Class/Classtype invariants<br /> * fix problems with refresh of properties view on macs<br /> * fix null pointer exception in marker builder<br /> * fix bug in state transition translation<br /> * fix bug with equality operator in translation<br /> * fix bug with modelling assistant showing a null object on refined sm<br /> * fix Class cast exception in U2B translator<br /> * fix null pointer exception in properties view during start-up<br /> * fix null pointer exception when refine state-machine deleted<br /> * fix multiple null options in some enumeration combo boxes in properties view<br /> <br /> [[Category:UML-B]]</div>

imported>Colin