UML-B release notes for 2.1.0: Revision history

From Event-B
Jump to navigationJump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

19 November 2010

  • curprev 19:2319:23, 19 November 2010imported>Colin 1,184 bytes +1,184 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...