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 11:54:24 +0000 Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA16256; Wed, 16 Mar 1994 04:41:48 -0700 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: bulk Received: from dworshak.cs.uidaho.edu by leopard.cs.byu.edu with SMTP (1.37.109.8/16.2) id AA16252; Wed, 16 Mar 1994 04:41:43 -0700 Received: from oberon.inmos.co.uk by dworshak.cs.uidaho.edu with SMTP (1.37.109.8/16.2) id AA01799; Wed, 16 Mar 1994 03:41:57 -0800 Received: from frogland.inmos.co.uk by oberon.inmos.co.uk; Wed, 16 Mar 1994 11:41:51 GMT From: David Shepherd Message-Id: <17299.9403161140@frogland.inmos.co.uk> Subject: Re: Gzip for compression To: info-hol@cs.uidaho.edu (info-hol mailing list) Date: Wed, 16 Mar 1994 11:40:47 +0000 (GMT) X-Mailer: ELM [version 2.4 PL20] Content-Type: text Content-Length: 1278 chou@cs.ucla.edu has said: > > So, does anyone object to my making this change? > > I do, I do! If something isn't broken, please don't fix it! > I don't have gzip on my computer and don't want to spend the time > to install it either. Its broken in that compress is now definitely sub-optimal in compression terms. It's also broken to the extent that someone (UNISYS I think) claim to own the patent to the compress compression algorithm and thus there has been an ongoing rumour for some time that compress may get pulled from standard UNIX distributions etc. If a move is made to gzip then I would assume that the Cambridge FTP site would carry (a) the sources to gzip and (b) gzip compiled for the standard systems that HOL is supported on (the gzip binary is only about 70k anyway). If someone is going through the hassle of ftp-ing HOL and setting up a system the the extra hassle of downloading a small binary and sticking it in /usr/local/bin or where-ever seems fairly trivial! -------------------------------------------------------------------------- david shepherd: des@inmos.co.uk tel: 0454-616616 x 625 inmos ltd, 1000 aztec west, almondsbury, bristol, bs12 4sq "I am not a nut --- I am a human being."