| Mon, 13 Sep 2010 14:29:53 +0200 | blanchet | tuning | changeset | files |
| 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 |