Wed, 09 Mar 2016 19:30:09 +0100 | wenzelm | isabelle.Build uses ML_Process directly; | file | diff | annotate |
Mon, 22 Jun 2015 16:56:03 +0200 | blanchet | automatically build image | file | diff | annotate |
Mon, 22 Jun 2015 16:56:03 +0200 | blanchet | filter out more Poly/ML messages from (ad hoc) TPTP toools | file | diff | annotate |
Mon, 22 Jun 2015 16:56:03 +0200 | blanchet | removed (now illegal) semicolons in generated theory files | file | diff | annotate |
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 |