blanchet [Wed, 18 Apr 2012 23:13:11 +0200] rev 48436
remove old TPTP CNF/FOF parser; always use Nik's new parser
blanchet [Wed, 18 Apr 2012 23:13:10 +0200] rev 48435
more standard SZS output
blanchet [Wed, 18 Apr 2012 22:40:25 +0200] rev 48434
Sledgehammer NEWS and CONTRIBUTORS
blanchet [Wed, 18 Apr 2012 22:40:25 +0200] rev 48433
tuned SZS status output
blanchet [Wed, 18 Apr 2012 22:40:25 +0200] rev 48432
update documentation (mostly based on feedback by Makarius)
blanchet [Wed, 18 Apr 2012 22:40:25 +0200] rev 48431
added SZS status wrappers in TPTP mode
blanchet [Wed, 18 Apr 2012 22:40:25 +0200] rev 48430
fixed Auto Nitpick's output
blanchet [Wed, 18 Apr 2012 22:39:35 +0200] rev 48429
phase out "$TPTP_PROBLEMS_PATH"; prefer "$TPTP" for consistency with CASC setup
blanchet [Wed, 18 Apr 2012 22:16:05 +0200] rev 48428
started integrating Nik's parser into TPTP command-line tools
wenzelm [Wed, 18 Apr 2012 21:28:49 +0200] rev 48427
merged