| Thu, 14 Nov 2013 19:54:10 +0100 | blanchet | implemented 'tptp_translate' | file | diff | annotate |
| Fri, 24 May 2013 11:08:25 +0200 | blanchet | pass noninteractive flag -- necessary to run under CASC's "runsolver" program | file | diff | annotate |
| Tue, 21 May 2013 09:02:58 +0200 | blanchet | use HOL-TPTP image in TPTP tools (for less verbose and faster startup) and filter out some messages | file | diff | annotate |
| Wed, 06 Jun 2012 10:35:05 +0200 | blanchet | renamed TPTP commands to agree with Sutcliffe's terminology | file | diff | annotate | base |