| Sat, 17 Apr 2010 19:35:35 +0200 |
wenzelm |
isatest: more robust treatment of remote files, less reliance on mounted file system;
|
changeset |
files
|
| Sat, 17 Apr 2010 11:05:22 +0200 |
blanchet |
merged
|
changeset |
files
|
| Sat, 17 Apr 2010 10:42:09 +0200 |
blanchet |
added missing \n in output
|
changeset |
files
|
| Fri, 16 Apr 2010 21:18:05 +0200 |
blanchet |
by default, don't try to start ATPs that aren't installed
|
changeset |
files
|
| Fri, 16 Apr 2010 20:51:15 +0200 |
blanchet |
fiddle with Sledgehammer option syntax
|
changeset |
files
|
| Fri, 16 Apr 2010 20:50:50 +0200 |
blanchet |
added timestamp to proof
|
changeset |
files
|
| Fri, 16 Apr 2010 16:54:05 +0200 |
blanchet |
restore order of clauses in TPTP output;
|
changeset |
files
|
| Fri, 16 Apr 2010 16:53:00 +0200 |
blanchet |
optimize relevance filter by doing a Table.fold directly rather than destroying the datastructure each time;
|
changeset |
files
|
| Fri, 16 Apr 2010 16:51:54 +0200 |
blanchet |
output total time taken by Sledgehammer if "verbose" is set
|
changeset |
files
|
| Fri, 16 Apr 2010 16:13:49 +0200 |
blanchet |
Sledgehammer: the empty set of fact () should mean nothing, not unchanged
|
changeset |
files
|
| Fri, 16 Apr 2010 16:08:43 +0200 |
blanchet |
reorganize Sledgehammer's relevance filter slightly
|
changeset |
files
|
| Fri, 16 Apr 2010 15:59:53 +0200 |
blanchet |
tell the user that Sledgehammer kills its siblings
|
changeset |
files
|