| Sat, 18 Dec 2010 12:55:33 +0100 | blanchet | use minimizing prover in Mirabelle | changeset | files |
| Sat, 18 Dec 2010 12:53:56 +0100 | blanchet | renamed function to run prover with minimizer and changed signature to clarify its semantics and make it a drop in replacement for "get_prover" | changeset | files |
| Sat, 18 Dec 2010 12:46:58 +0100 | blanchet | factored out running a prover with (optionally) an implicit minimizer phrase | changeset | files |
| Fri, 17 Dec 2010 23:18:39 +0100 | wenzelm | merged; | changeset | files |