| 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 |