Mon, 11 Jul 2005 16:42:42 +0200 |
quigley |
Fixed some problems with the signal handler.
|
file |
diff |
annotate
|
Wed, 22 Jun 2005 20:26:31 +0200 |
quigley |
Temporarily removed Rewrite from the translation code so that parsing with work on lists of numbers.
|
file |
diff |
annotate
|
Tue, 21 Jun 2005 23:44:18 +0200 |
quigley |
Integrated vampire lemma code.
|
file |
diff |
annotate
|
Mon, 20 Jun 2005 18:39:24 +0200 |
quigley |
Added VampCommunication.ML.
|
file |
diff |
annotate
|
Fri, 10 Jun 2005 16:15:36 +0200 |
quigley |
All subgoals sent to the watcher at once now.
|
file |
diff |
annotate
|
Sun, 05 Jun 2005 11:31:22 +0200 |
wenzelm |
File.platform_path;
|
file |
diff |
annotate
|
Tue, 31 May 2005 12:42:36 +0200 |
quigley |
Fixed array containing clasimpset rules. Added flags to turn on and off reconstruction and full spass
|
file |
diff |
annotate
|
Tue, 03 May 2005 14:27:21 +0200 |
quigley |
Replaced reference to SPASS with general one - set SPASS_HOME in settings file.
|
file |
diff |
annotate
|
Thu, 21 Apr 2005 15:05:24 +0200 |
paulson |
added hearder lines and deleted some redundant material
|
file |
diff |
annotate
|
Thu, 21 Apr 2005 10:05:06 +0200 |
paulson |
improved SML/NJ compatibility, etc.
|
file |
diff |
annotate
|
Wed, 20 Apr 2005 18:01:50 +0200 |
quigley |
Corrected the problem with the ATP directory.
|
file |
diff |
annotate
|
Fri, 08 Apr 2005 18:43:39 +0200 |
paulson |
Reconstruction code, now packaged to avoid name clashes
|
file |
diff |
annotate
|
Wed, 06 Apr 2005 12:01:37 +0200 |
quigley |
watcher.ML and watcher.sig changed. Debug files now write to tmp.
|
file |
diff |
annotate
|
Thu, 31 Mar 2005 19:29:26 +0200 |
quigley |
*** empty log message ***
|
file |
diff |
annotate
|