| Fri, 18 Feb 2011 16:36:42 +0100 | wenzelm | modernized specifications; | changeset | files |
| Fri, 18 Feb 2011 16:22:27 +0100 | wenzelm | more precise headers; | changeset | files |
| Fri, 18 Feb 2011 16:11:58 +0100 | wenzelm | less verbose tracing; | changeset | files |
| Fri, 18 Feb 2011 16:07:32 +0100 | wenzelm | standardized headers; | changeset | files |
| Fri, 18 Feb 2011 15:46:13 +0100 | wenzelm | modernized specifications; | changeset | files |
| Fri, 18 Feb 2011 16:30:44 +0100 | blanchet | gracious timeout in "blocking" mode | changeset | files |
| Fri, 18 Feb 2011 16:19:08 +0100 | blanchet | make Nitpick's timeout mechanism somewhat more reliable/friendly; | changeset | files |
| Fri, 18 Feb 2011 15:44:52 +0100 | blanchet | better fudge factors for Sledgehammer | changeset | files |