Fri, 18 Feb 2011 16:22:27 +0100 more precise headers;
wenzelm [Fri, 18 Feb 2011 16:22:27 +0100] rev 41777
more precise headers;
Fri, 18 Feb 2011 16:11:58 +0100 less verbose tracing;
wenzelm [Fri, 18 Feb 2011 16:11:58 +0100] rev 41776
less verbose tracing;
Fri, 18 Feb 2011 16:07:32 +0100 standardized headers;
wenzelm [Fri, 18 Feb 2011 16:07:32 +0100] rev 41775
standardized headers;
Fri, 18 Feb 2011 15:46:13 +0100 modernized specifications;
wenzelm [Fri, 18 Feb 2011 15:46:13 +0100] rev 41774
modernized specifications;
Fri, 18 Feb 2011 16:30:44 +0100 gracious timeout in "blocking" mode
blanchet [Fri, 18 Feb 2011 16:30:44 +0100] rev 41773
gracious timeout in "blocking" mode
Fri, 18 Feb 2011 16:19:08 +0100 make Nitpick's timeout mechanism somewhat more reliable/friendly;
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
Fri, 18 Feb 2011 15:44:52 +0100 better fudge factors for Sledgehammer
blanchet [Fri, 18 Feb 2011 15:44:52 +0100] rev 41771
better fudge factors for Sledgehammer
Fri, 18 Feb 2011 15:17:39 +0100 adjust fudge factors
blanchet [Fri, 18 Feb 2011 15:17:39 +0100] rev 41770
adjust fudge factors
Fri, 18 Feb 2011 12:32:55 +0100 extended ATP problem syntax to support other applications than Sledgehammer, e.g. experiments with ATPs
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
Thu, 17 Feb 2011 12:14:47 +0100 export more functionality of Sledgehammer to applications (for experiments)
blanchet [Thu, 17 Feb 2011 12:14:47 +0100] rev 41768
export more functionality of Sledgehammer to applications (for experiments)
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip