| Thu, 21 Nov 1996 16:04:27 +0100 | paulson | Added warning message | file | diff | annotate |
| Thu, 24 Oct 1996 10:43:38 +0200 | paulson | Changed comment to illustrate use of pathname | file | diff | annotate |
| Fri, 11 Oct 1996 10:55:03 +0200 | paulson | Addition of Sequents; removal of Modal and LK | file | diff | annotate |
| Wed, 07 Feb 1996 13:36:56 +0100 | clasohm | new SML heap images are now removed | file | diff | annotate |
| 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 |