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 |