Mon, 27 Jun 2011 14:56:32 +0200 | blanchet | tweaked comment | changeset | files |
Mon, 27 Jun 2011 14:56:31 +0200 | blanchet | document "sound" option | changeset | files |
Mon, 27 Jun 2011 14:56:29 +0200 | blanchet | minor Sledgehammer news | changeset | files |
Mon, 27 Jun 2011 14:56:28 +0200 | blanchet | added "sound" option to force Sledgehammer to be pedantically sound | changeset | files |
Mon, 27 Jun 2011 14:56:26 +0200 | blanchet | removed "full_types" option from documentation | changeset | files |
Mon, 27 Jun 2011 14:56:10 +0200 | blanchet | document changes to Sledgehammer and "try" | changeset | files |