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; Tue, 15 Mar 1994 14:59:24 +0000 Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA04701; Tue, 15 Mar 1994 07:31:27 -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 AA04697; Tue, 15 Mar 1994 07:31:25 -0700 Received: from oberon.inmos.co.uk by dworshak.cs.uidaho.edu with SMTP (1.37.109.8/16.2) id AA28838; Tue, 15 Mar 1994 06:31:37 -0800 Received: from frogland.inmos.co.uk by oberon.inmos.co.uk; Tue, 15 Mar 1994 14:31:00 GMT From: David Shepherd Message-Id: <15684.9403151429@frogland.inmos.co.uk> Subject: Re: Gzip for compression To: John.Harrison@cl.cam.ac.uk (John Harrison) Date: Tue, 15 Mar 1994 14:29:56 +0000 (GMT) Cc: info-hol@cs.uidaho.edu (info-hol mailing list) In-Reply-To: <"swan.cl.cam.:060470:940315125351"@cl.cam.ac.uk> from "John Harrison" at Mar 15, 94 12:53:23 pm X-Mailer: ELM [version 2.4 PL20] Content-Type: text Content-Length: 1096 John Harrison has said: > The HOL distribution areas contain quite a lot of compressed files, and I'd > like to move to using "gzip" instead of "compress". It usually results in a > much better compression ratio -- for example a gzip of the current HOL system > is about 60% of the size of a compressed version. > > I am only hesitating because I'm wondering how widespread gzip is. Certainly > it's not as "standard" as compress, though one of our systems people tells me > that this situation is likely to be reversed in the future, since compress > uses a patented algorithm. > > So, does anyone object to my making this change? You can 1) supply the sources to gzip with the HOL sources 2) provide binaries to gzip in a variety of common architectures (N.b. under the GNU license terms 2 ==> 1) -------------------------------------------------------------------------- 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."