wenzelm [Fri, 18 Feb 2011 16:11:58 +0100] rev 41776
less verbose tracing;
wenzelm [Fri, 18 Feb 2011 16:07:32 +0100] rev 41775
standardized headers;
wenzelm [Fri, 18 Feb 2011 15:46:13 +0100] rev 41774
modernized specifications;
blanchet [Fri, 18 Feb 2011 16:30:44 +0100] rev 41773
gracious timeout in "blocking" mode
blanchet [Fri, 18 Feb 2011 16:19:08 +0100] rev 41772
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 41771
better fudge factors for Sledgehammer
blanchet [Fri, 18 Feb 2011 15:17:39 +0100] rev 41770
adjust fudge factors
blanchet [Fri, 18 Feb 2011 12:32:55 +0100] rev 41769
extended ATP problem syntax to support other applications than Sledgehammer, e.g. experiments with ATPs
blanchet [Thu, 17 Feb 2011 12:14:47 +0100] rev 41768
export more functionality of Sledgehammer to applications (for experiments)
blanchet [Wed, 16 Feb 2011 19:07:53 +0100] rev 41767
export useful function (needed in a Sledgehammer-related experiment)