| Thu, 03 Feb 1994 16:06:55 +0100 | lcp | now makes HOLCF | file | diff | annotate |
| Thu, 20 Jan 1994 13:35:40 +0100 | nipkow | added HOLCF | file | diff | annotate |
| Mon, 20 Sep 1993 18:39:45 +0200 | lcp | make-all now has set +e so that New Jersey runs will continue even if some | file | diff | annotate |
| Thu, 16 Sep 1993 12:20:38 +0200 | clasohm | Initial revision | file | diff | annotate |