Revision history of "File:ProofTools.png"

From Free Pascal wiki
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 03:55, 1 May 2014Laird talk contribs 130 bytes +130 A screenshot of ProofTools, a free, Lazarus-developed, cross-platform application for drawing proof trees (aka semantic tableaux).