Project Diagram: 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.

16 November 2010

15 November 2010

  • curprev 15:3215:32, 15 November 2010‎ imported>Vitaly‎ 2,273 bytes +12‎ No edit summary
  • curprev 15:2315:23, 15 November 2010‎ imported>Vitaly‎ 2,261 bytes +36‎ No edit summary
  • curprev 12:5412:54, 15 November 2010‎ imported>Vitaly‎ 2,225 bytes +2,225‎ New page: ==Overview== Project Diagram Plug-in provides a visual representation of a Rodin project. This includes Event-B root components such as Machines and Contexts, and relationships between th...
Retrieved from ‘https://wiki.event-b.org/index.php/Project_Diagram’