| Sun, 28 Mar 2010 18:39:27 +0200 | blanchet | make SML/NJ happy | file | diff | annotate |
| Thu, 25 Mar 2010 17:55:55 +0100 | blanchet | make Mirabelle happy again | file | diff | annotate |
| Wed, 24 Mar 2010 14:51:36 +0100 | blanchet | revert debugging output that shouldn't have been submitted in the first place | file | diff | annotate |
| Wed, 24 Mar 2010 12:30:33 +0100 | blanchet | honor the newly introduced Sledgehammer parameters and fixed the parsing; | file | diff | annotate |
| Tue, 23 Mar 2010 14:43:22 +0100 | blanchet | added a syntax for specifying facts to Sledgehammer; | file | diff | annotate |
| Tue, 23 Mar 2010 11:39:21 +0100 | blanchet | added options to Sledgehammer; | file | diff | annotate |
| Mon, 22 Mar 2010 15:23:18 +0100 | blanchet | make "sledgehammer" and "atp_minimize" improper commands | file | diff | annotate |
| Fri, 19 Mar 2010 15:07:44 +0100 | blanchet | move the Sledgehammer Isar commands together into one file; | file | diff | annotate |