Tue, 24 May 2011 11:55:59 +0200 | blanchet | added quietness flag | file | diff | annotate |
Mon, 06 Sep 2010 11:28:06 +0200 | blanchet | make remote ATP invocation work for those people who need to go through a proxy; | file | diff | annotate |
Thu, 29 Jul 2010 19:26:42 +0200 | blanchet | better error and minimizer output | file | diff | annotate |
Thu, 29 Jul 2010 09:41:49 +0200 | blanchet | improved ATP error handling some more | file | diff | annotate |
Wed, 28 Jul 2010 23:05:35 +0200 | blanchet | fiddled with usage text | file | diff | annotate |
Wed, 28 Jul 2010 23:01:27 +0200 | blanchet | handle Perl and "libwww-perl" failures more gracefully, giving the user some clues about what goes on | file | diff | annotate |
Wed, 28 Jul 2010 19:01:34 +0200 | blanchet | rename directory | file | diff | annotate | base |