Template:Proof assistant/Metadata: Revision history

Jump to navigation Jump 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.

12 August 2010

  • curprev 03:1903:19, 12 August 2010imported>Boris Tsirelson 2,342 bytes +2,342 No edit summary
  • curprev 03:1403:14, 12 August 2010imported>Boris Tsirelson 2,332 bytes +2,332 New page: {{#switch: {{{info}}} <!-- Pagename must be filled out for subpages system to work correctly. e.g., pagename = Albert Einstein --> | pagename = Proof assistant <!-- ''abc'' means th...