Return-Path: Delivery-Date: Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Wed, 16 Mar 1994 14:26:06 +0000 Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA16702; Wed, 16 Mar 1994 05:37:38 -0700 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: bulk Received: from swan.cl.cam.ac.uk by leopard.cs.byu.edu with SMTP (1.37.109.8/16.2) id AA16697; Wed, 16 Mar 1994 05:37:34 -0700 Received: from auk.cl.cam.ac.uk (user jrh (rfc931)) by swan.cl.cam.ac.uk with SMTP (PP-6.5) to cl; Wed, 16 Mar 1994 12:36:21 +0000 To: info-hol@leopard.cs.byu.edu Subject: Re: Gzip for compression In-Reply-To: Your message of "Wed, 16 Mar 94 04:32:36 MST." <"swan.cl.cam.:278830:940316114531"@cl.cam.ac.uk> Date: Wed, 16 Mar 94 12:36:06 +0000 From: John Harrison Message-Id: <"swan.cl.cam.:004310:940316123637"@cl.cam.ac.uk> I think Kelly and others who responded (publicly and privately) are right that if you have the ingenuity to install (and use!) HOL, then installing "gzip" should be well within your grasp. Nevertheless, for users' convenience, I have added a new directory "gzip" to the HOL FTP area, which contains the standard distribution tarfile (not compressed in any way) and binaries for the following architectures: alpha, mips, sun3 and sun4. I hope this will satisfy everyone. You may be interested to know that using "gzip" instead of "compress" throughout the HOL-related part of the FTP area has reduced space usage from 36Mb to 23Mb. That also implies correspondingly shorter transfer times for FTP users. John.