Sun, 28 Mar 2010 16:59:06 +0200 | wenzelm | static defaults for configuration options; | 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 11:39:21 +0100 | blanchet | added options to Sledgehammer; | file | diff | annotate |
Mon, 22 Mar 2010 10:25:07 +0100 | blanchet | start work on direct proof reconstruction for Sledgehammer | file | diff | annotate |
Fri, 19 Mar 2010 16:04:15 +0100 | blanchet | renamed "e_full" and "vampire_full" to "e_isar" and "vampire_isar"; | file | diff | annotate |
Fri, 19 Mar 2010 13:02:18 +0100 | blanchet | more Sledgehammer refactoring | file | diff | annotate |
Wed, 17 Mar 2010 19:26:05 +0100 | blanchet | renamed Sledgehammer structures | file | diff | annotate |
Wed, 17 Mar 2010 18:16:31 +0100 | blanchet | move Sledgehammer files in a directory of their own | file | diff | annotate | base |