Handbook Content Migration: 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.

30 June 2011

13 June 2011

  • curprev 14:0014:00, 13 June 2011‎ imported>Jastram‎ 1,451 bytes +1,451‎ New page: == Goals == For the Rodin Handbook Project, we will migrate some of the Wiki content to Latex, to be managed in SVN. Our objective of the content migration guide is to ensure that: * All...
Retrieved from ‘https://wiki.event-b.org/index.php/Handbook_Content_Migration’