UML-B notes for 0.4.4: 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.

4 March 2009

13 November 2008

  • curprev 11:5211:52, 13 November 2008imported>Colin 697 bytes +697 New page: ==State-machine properties are not saved== '''Problem''' - On Statemachine diagrams, some properties fields cannot be saved. When the focus is moved elsewhere the changes to these fields ...