| Fri, 03 Dec 2010 09:55:45 +0100 | blanchet | run synchronous Auto Tools in parallel | file | diff | annotate |
| Sat, 11 Sep 2010 16:19:32 +0200 | blanchet | crank up Auto Tools timeout; | file | diff | annotate |
| Sat, 11 Sep 2010 10:35:00 +0200 | blanchet | finished renaming "Auto_Counterexample" to "Auto_Tools" | file | diff | annotate |
| Sat, 11 Sep 2010 10:28:44 +0200 | blanchet | start renaming "Auto_Counterexample" to "Auto_Tools"; | file | diff | annotate | base |