| Thu, 21 Nov 2013 13:43:42 +0100 | blanchet | renamed TFF0/THF0 to three-letter acronyms, in keeping with new TPTP policy | file | diff | annotate |
| Mon, 18 Nov 2013 18:04:44 +0100 | blanchet | send output of "tptp_translate" to standard output, to simplify Geoff Sutcliffe's life | file | diff | annotate |
| Thu, 14 Nov 2013 19:54:10 +0100 | blanchet | implemented 'tptp_translate' | file | diff | annotate |
| Thu, 14 Nov 2013 16:10:31 +0100 | blanchet | reintroduced (unimplemented) 'tptp_translate' tool | file | diff | annotate |
| Mon, 23 Jan 2012 17:40:32 +0100 | blanchet | implemented "tptp_refute" tool | file | diff | annotate |
| Mon, 23 Jan 2012 17:40:32 +0100 | blanchet | added problem importer | file | diff | annotate |
| Mon, 23 Jan 2012 17:40:32 +0100 | blanchet | renamed two files to make room for a new file | file | diff | annotate |
| Mon, 23 Jan 2012 17:40:31 +0100 | blanchet | rebranded Nitrox, for more uniformity | file | diff | annotate |