Fri, 15 Apr 2005 13:35:53 +0200 | paulson | more tidying up of the SPASS interface | file | diff | annotate |
Mon, 11 Apr 2005 16:25:31 +0200 | paulson | removal of Main and other tidying up | 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 |