Revision history of "Event-BEMF ReleaseHistory"

From Event-B
Jump to navigationJump to search

Diff selection: Mark the radio boxes 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.

  • curprev 09:48, 20 October 2009imported>Colin 280 bytes +5
  • curprev 09:47, 20 October 2009imported>Colin 275 bytes -135
  • curprev 09:00, 20 October 2009imported>Colin 410 bytes +410 New page: A framework which provides an EMF representation of Event-B models. ----------------------------------------------------------------- Release history: 1.1.2 - Re-release for Rodin 1.1.0, ...