Thu, 01 Dec 2011 13:34:16 +0100 | blanchet | updated Sledgehammer docs with new/renamed options | changeset | files |
Thu, 01 Dec 2011 13:34:14 +0100 | blanchet | added "minimize" option for more control over automatic minimization | changeset | files |
Thu, 01 Dec 2011 13:34:13 +0100 | blanchet | renamed "slicing" to "slice" | changeset | files |