| Mon, 05 Sep 2011 14:42:31 +0200 | blanchet | fixed handling of "sledgehammer_params", so that "sledgehammer_params [e]" is really the same as "sledgehammer_params [provers = e]" | changeset | files |
| Mon, 05 Sep 2011 14:17:44 +0200 | boehmes | tuned | changeset | files |
| Mon, 05 Sep 2011 11:34:54 +0200 | boehmes | tuned | changeset | files |