| Wed, 24 Mar 2010 12:30:33 +0100 | blanchet | honor the newly introduced Sledgehammer parameters and fixed the parsing; | changeset | files |
| Tue, 23 Mar 2010 14:43:22 +0100 | blanchet | added a syntax for specifying facts to Sledgehammer; | changeset | files |
| Tue, 23 Mar 2010 11:40:46 +0100 | blanchet | leverage code now in Sledgehammer | changeset | files |