User Documentation Overhaul: 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.

15 September 2011

12 July 2011

1 July 2011

13 June 2011

9 June 2011

2 June 2011

30 May 2011

28 April 2011

26 April 2011

12 April 2011

28 March 2011

26 March 2011

21 March 2011

18 March 2011

  • curprev 10:5710:57, 18 March 2011imported>Jastram 4,201 bytes +123 →‎Wish List
  • curprev 10:5010:50, 18 March 2011imported>Jastram 4,078 bytes +4,078 New page: == Background == At the Exec Meeting at ETH in 2010 the following was established, amongst other things: "It is clear that the current documentation would not support, say, an engineer i...