| Tue, 10 Feb 2004 12:17:04 +0100 | paulson | updated links to the old ftp site | file | diff | annotate |
| Thu, 11 May 1995 10:33:07 +0200 | lcp | show_sorts | file | diff | annotate |
| Wed, 03 May 1995 11:58:40 +0200 | lcp | Updates involving defs, addss, etc. | file | diff | annotate |