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 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.