From windley@cheetah.ucdavis.edu@munnari.cs.mu.oz Mon Mar 13 14:44:32 1989
To: info-hol@clover.ucdavis.edu
Subject: HOL Version 1.01
Date: Thu, 09 Mar 89 16:40:43 -0800
From: Phil Windley <windley%cheetah.ucdavis.edu@munnari.oz>
Status: RO

HOL Version 1.01 is available via ftp at clover.ucdavis.edu.  I have
separated the public domain Franz lisp source out from the hol tar file so
that it is smalled.  Some people were complaining about the large size and
not being able to get an ftp connection long enough to grab the entire
file.  The two files are hol88.tar.Z and franz.tar.Z.  They are in
compressed tar format.

In addition to incorporating version 1.01 changes, I have fixed a few minor
bugs that cropped up.

I'm not aware of how many people actually got Version 1.00 and sucessfully
made it.   If there is sufficient interest, I will also make the individual
files that changed available so that you don't have to download the entire
file.

The franz that is on clover is not the newest.  I am trying to get it and
will make it available as soon as I do and know that it works.

--phil--



----------------------- instructions for ftp'ing HOL ---------------------

Here's how you go about getting the HOL 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 files are large (> 1.5Mb) 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.











