| Sun, 05 Jun 2005 11:31:23 +0200 |
wenzelm |
File.platform_path vs. File.shell_path;
|
file |
diff |
annotate
|
| Thu, 02 Jun 2005 15:54:11 +0200 |
quigley |
Added time lime (60 secs) to Spass calls.
|
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
|
| Fri, 27 May 2005 12:12:05 +0200 |
paulson |
Now uses File.write and File.append
|
file |
diff |
annotate
|
| Thu, 26 May 2005 18:34:23 +0200 |
paulson |
further tweaks to the SPASS setup
|
file |
diff |
annotate
|
| Thu, 26 May 2005 16:50:07 +0200 |
paulson |
trying to set up portable calling sequences for SPASS and tptp2X
|
file |
diff |
annotate
|
| Tue, 24 May 2005 10:23:24 +0200 |
paulson |
A new structure and reduced indentation
|
file |
diff |
annotate
|
| Mon, 23 May 2005 00:18:51 +0200 |
quigley |
Moved some of the clausify functions from ATP/res_clasimpset.ML to res_axioms.ML.
|
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
|
| Tue, 19 Apr 2005 18:08:44 +0200 |
paulson |
more tidying of libraries in Reconstruction
|
file |
diff |
annotate
|
| Wed, 13 Apr 2005 09:48:41 +0200 |
paulson |
new signalling primmitives for sml/nj compatibility
|
file |
diff |
annotate
|
| Fri, 08 Apr 2005 18:43:39 +0200 |
paulson |
Reconstruction code, now packaged to avoid name clashes
|
file |
diff |
annotate
|
| Thu, 07 Apr 2005 18:35:21 +0200 |
quigley |
Changed prob1.dfg to prob_1.dfg
|
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
|
| Mon, 04 Apr 2005 18:39:45 +0200 |
quigley |
CVSfj
|
file |
diff |
annotate
|
| Thu, 31 Mar 2005 19:29:26 +0200 |
quigley |
*** empty log message ***
|
file |
diff |
annotate
|