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 |
Wed, 20 Apr 2005 18:01:50 +0200 | quigley | Corrected the problem with the ATP directory. | 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 |