| Mon, 13 Sep 2010 13:12:33 +0200 | blanchet | use 30 s instead of 60 s as the default Sledgehammer timeout; | changeset | files |
| Mon, 13 Sep 2010 09:36:34 +0200 | blanchet | no timeout for Auto Try, since the Auto Tools framework takes care of timeouts | changeset | files |
| Sat, 11 Sep 2010 16:41:15 +0200 | blanchet | add Proof General option | changeset | files |
| Sat, 11 Sep 2010 16:39:54 +0200 | blanchet | make Try's output more concise | changeset | files |
| Sat, 11 Sep 2010 16:36:23 +0200 | blanchet | added Auto Try to the mix of automatic tools | changeset | files |
| Sat, 11 Sep 2010 16:19:32 +0200 | blanchet | crank up Auto Tools timeout; | changeset | files |
| Sat, 11 Sep 2010 12:32:31 +0200 | blanchet | make Auto Solve part of the "Auto Tools" | changeset | files |