| Fri, 27 May 2011 10:30:08 +0200 | blanchet | renamed "Auto_Tools" "Try" | changeset | files |
| Fri, 27 May 2011 10:30:08 +0200 | blanchet | removed THF equality proxy hack now that Geoff Sutcliffe has fixed SystemOnTPTP | changeset | files |
| Fri, 27 May 2011 10:30:08 +0200 | blanchet | renamed "try" "try_methods" | changeset | files |
| Fri, 27 May 2011 10:30:08 +0200 | blanchet | renamed "metis_timeout" to "preplay_timeout" and continued implementation | changeset | files |
| Fri, 27 May 2011 10:30:08 +0200 | blanchet | minor fixes to Sledgehammer docs | changeset | files |
| Fri, 27 May 2011 10:30:08 +0200 | blanchet | shorten minimizer command further, exploiting until-now-undocumented syntax | changeset | files |
| Fri, 27 May 2011 10:30:07 +0200 | blanchet | minor tweaks to the Nitpick documentation | changeset | files |