Mon, 03 Jul 1995 13:08:49 +0200 | clasohm | remove Old_HOL | file | diff | annotate |
Thu, 29 Jun 1995 13:34:35 +0200 | clasohm | renamed CHOL to HOL | file | diff | annotate |
Tue, 13 Jun 1995 13:38:54 +0200 | clasohm | added CHOL | file | diff | annotate |
Wed, 21 Dec 1994 13:36:02 +0100 | lcp | Id: marker. | file | diff | annotate |
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 |