From windley@cheetah.ucdavis.edu@munnari.cs.mu.oz Fri Mar  3 15:23:53 1989
To: info-hol@clover.ucdavis.edu
Subject: HOL88 is available via ftp
Date: Thu, 02 Mar 89 18:38:16 -0800
From: Phil Windley <windley%cheetah.ucdavis.edu@munnari.oz>
Status: RO


The University of California at Davis is distributing HOL88 in the US for
Mike Gordon.  It is available in two ways.  First (and preferably) you may
get HOL88 via anonymous ftp from clover.ucdavis.edu.  I'll attach
instructions to the bottom of this message for getting HOL88 using ftp.

Secondly, if you can't ftp, we'll be happy to mail you a tape.  There will
be a nominal charge for tape distribution, however, to cover our costs.  If
you want to do it by tape, mail me a message and I'll work out the details
with you.

Some information:

1.)  I have deleted binaries from the ftp distribution since they take up
too much space. This saves you downloading time and me disk space.  There
isn't too much chance that they be useful to you anyway.  They will be
included in the tape distribution though, so if you really must have them.

2.) The format is a compressed tar file.  If your system doesn't have
compress and uncompress, then you should also download and compile the
files in compress.tar.

Here's how you go about getting the file using ftp:

1.) At your unix prompt, type "ftp clover.ucdavis.edu".

2.) Log in using the user name "anonymous" and the password "ftp".

3.) You'll get a prompt that says: "ftp>".

4.) Type the following series of commands:

     cd pub
     binary
     get hol88.tar.Z
     quit

The file is large (> 3Mb) so it might take a while.

5.) Uncompress the file (this will also take a while) and then extract the
resulting tar file.  This will create a directory called hol88 in the
directory that you do the extraction.

Good luck,

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





