| Mon, 13 Sep 2010 14:29:05 +0200 | blanchet | keep track of trivial vs. nontrivial calls using "try" for 30 seconds | changeset | files |
| Mon, 13 Sep 2010 14:28:25 +0200 | blanchet | change signature of "Try.invoke_try" to make it more flexible | changeset | files |
| 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 |