Revision history of "Rodin"

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 14:18, 19 September 2011imported>Ladenberger 491 bytes +250
  • curprev 09:56, 4 March 2009imported>Mathieum 241 bytes +241 New page: The '''Rodin Platform''' is an Eclipse-based IDE for Event-B that provides effective support for refinement and mathematical proof. The platform is open source, contributes to the Ecli...