| Fri, 27 May 2011 10:30:08 +0200 | blanchet | repaired theory merging and defined/used helpers | changeset | files |
| Fri, 27 May 2011 10:30:08 +0200 | blanchet | make Sledgehammer a little bit less verbose in "try" | changeset | files |
| Fri, 27 May 2011 10:30:08 +0200 | blanchet | handle non-auto try cases gracefully in Try Methods | changeset | files |
| Fri, 27 May 2011 10:30:08 +0200 | blanchet | handle non-auto try case gracefully in Solve Direct | changeset | files |
| Fri, 27 May 2011 10:30:08 +0200 | blanchet | prioritize try and auto try's tools, with fast ones first, with a slight preference for provers vs. counterexample generators | changeset | files |
| Fri, 27 May 2011 10:30:08 +0200 | blanchet | update SML section of documentation | changeset | files |
| Fri, 27 May 2011 10:30:08 +0200 | blanchet | handle non-auto try case gracefully in Nitpick | changeset | files |