testboard: Changelog

wenzelm [Fri, 18 Feb 2011 16:36:42 +0100] rev 41778

modernized specifications;

wenzelm [Fri, 18 Feb 2011 16:22:27 +0100] rev 41777

more precise headers;

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

testboard