From windley@cheetah  Wed Dec 20 17:56:48 1989
Received: by iris (5.57/3.14)
        id AA21256; Wed, 20 Dec 89 17:56:48 PST
Received: from cheetah.ucdavis.edu by clover.ucdavis.edu (5.59/UCD.EECS.1.11)
        id AA11462; Wed, 20 Dec 89 17:59:26 PST
Received: by cheetah.ucdavis.edu (AIX  2.1.2/3.14)
        id AA00641; Wed, 20 Dec 89 17:56:39 PST
Message-Id: <8912210156.AA00641@cheetah.ucdavis.edu>
To: info-hol@clover
Subject: HOL88 ver 1.11
Date: Wed, 20 Dec 89 17:56:37 -0800
From: Phil Windley <windley@cheetah>


HOL88 version 1.11 is available via anonymous ftp from clover.ucdavis.edu.
Due to disk space limitations, the new documentation is not included in the
tar file.  I am trying to get the problem solved (probably moved anonymous
ftp to another machine), but in the meantime, I thought I'd get the system
out.

To get a copy, log onto clover.ucdavis.edu via anonymous ftp.  The file is
called ~ftp/pub/hol/hol112.tar.Z.  The doc and example directories are in a
file called ~ftp/pub/hol/hol.misc.tar.Z.  I split them out to make
transfering the thing a little easier.

If you have any questions or problems, please let me know.

--phil--

Phil Windley                          |  windley@cheetah.ucdavis.edu
Division of Computer Science          |  ucbvax!ucdavis!cheetah!windley
College of Engineering                |  (916) 752-6452 (or 3168)
University of California, Davis       |  Davis, CA 95616


