wenzelm [Fri, 18 Feb 2011 16:36:42 +0100] rev 42649
modernized specifications;
wenzelm [Fri, 18 Feb 2011 16:22:27 +0100] rev 42648
more precise headers;
wenzelm [Fri, 18 Feb 2011 16:11:58 +0100] rev 42647
less verbose tracing;
wenzelm [Fri, 18 Feb 2011 16:07:32 +0100] rev 42646
standardized headers;
wenzelm [Fri, 18 Feb 2011 15:46:13 +0100] rev 42645
modernized specifications;
blanchet [Fri, 18 Feb 2011 16:30:44 +0100] rev 42644
gracious timeout in "blocking" mode
blanchet [Fri, 18 Feb 2011 16:19:08 +0100] rev 42643
make Nitpick's timeout mechanism somewhat more reliable/friendly;
avoid producing warnings when invoked in "auto" mode
blanchet [Fri, 18 Feb 2011 15:44:52 +0100] rev 42642
better fudge factors for Sledgehammer
blanchet [Fri, 18 Feb 2011 15:17:39 +0100] rev 42641
adjust fudge factors
blanchet [Fri, 18 Feb 2011 12:32:55 +0100] rev 42640
extended ATP problem syntax to support other applications than Sledgehammer, e.g. experiments with ATPs