| 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 |
| Sat, 09 Apr 2005 16:27:11 +0200 | paulson | fixed the syntax of infix declarations | file | diff | annotate |
| Fri, 08 Apr 2005 18:43:39 +0200 | paulson | Reconstruction code, now packaged to avoid name clashes | file | diff | annotate |
| Thu, 31 Mar 2005 19:29:26 +0200 | quigley | *** empty log message *** | file | diff | annotate |