| Sat, 29 Oct 2011 13:51:35 +0200 | blanchet | also export DFG formats | file | diff | annotate |
| Mon, 22 Aug 2011 15:02:45 +0200 | blanchet | clearer terminology | file | diff | annotate |
| Wed, 13 Jul 2011 22:16:19 +0200 | blanchet | cleanly separate TPTP related files from other examples | file | diff | annotate | base |