Thu, 29 Jul 2010 18:45:41 +0200 | blanchet | speed up the minimizer by using the time taken for the first iteration as a timeout for the following iterations, and fix a subtle bug in "string_for_failure" | file | diff | annotate |
Thu, 29 Jul 2010 16:54:46 +0200 | blanchet | fiddle with the fudge factors, to get similar results as before | file | diff | annotate |
Thu, 29 Jul 2010 09:41:49 +0200 | blanchet | improved ATP error handling some more | file | diff | annotate |
Thu, 29 Jul 2010 00:28:57 +0200 | blanchet | shorter URL | 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:23:56 +0200 | blanchet | renamed environment variable | file | diff | annotate |
Wed, 28 Jul 2010 19:04:59 +0200 | blanchet | consequence of directory renaming | file | diff | annotate |
Wed, 28 Jul 2010 19:01:34 +0200 | blanchet | rename directory | file | diff | annotate | base |