D32 UML-B: 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.

27 January 2011

26 January 2011

24 January 2011

21 December 2010

20 December 2010

15 December 2010

26 November 2010

25 November 2010

24 November 2010

  • curprev 14:5114:51, 24 November 2010imported>Colin 3,274 bytes +3,274 New page: = Overview = The main progress on UML-B has been to implement new features, improve usability and fix bugs. As in the previous years of DEPLOY, these bugs and features are reported either ...