src/Tools/auto_tools.ML
Sat, 11 Sep 2010 16:19:32 +0200 blanchet crank up Auto Tools timeout;
Sat, 11 Sep 2010 10:35:00 +0200 blanchet finished renaming "Auto_Counterexample" to "Auto_Tools"
Sat, 11 Sep 2010 10:28:44 +0200 blanchet start renaming "Auto_Counterexample" to "Auto_Tools";
less more (0) tip