Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from dworshak.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Wed, 25 Aug 1993 22:12:13 +0100
Received: by dworshak.cs.uidaho.edu (1.37.109.4/16.2) id AA02833;
          Wed, 25 Aug 93 13:08:51 -0700
Sender: info-hol-request@cs.uidaho.edu
Errors-To: info-hol-request@cs.uidaho.edu
Precedence: bulk
Received: from shangrila.cs.ucdavis.edu by dworshak.cs.uidaho.edu 
          with SMTP (1.37.109.4/16.2) id AA02829; Wed, 25 Aug 93 13:08:18 -0700
Received: by shangrila.cs.ucdavis.edu (5.65/UCD.CS.2.3) id AA29991;
          Wed, 25 Aug 1993 13:07:50 -0700
Date: Wed, 25 Aug 1993 13:07:50 -0700
From: heckman@cs.ucdavis.edu (Mark R. Heckman)
Message-Id: <9308252007.AA29991@shangrila.cs.ucdavis.edu>
To: info-hol@dworshak.cs.uidaho.edu
Subject: a hol newsgroup?


Given the increasing size of the hol community, and the corresponding
large quantity of mail, would now perhaps be the time to create a
hol internet newsgroup?  Much of the mail I receive is interesting
and useful, but much isn't.  A newsgroup would give all of us the chance
to browse at our own convenience rather than coming back from a trip
(or even overnight) to face 30 hol messages interspersed with our
other e-mail.  This thought just occurred to me when I logged in now
and saw 13 hol messages and only one other message.  At that kind of ratio,
and given the number of hol users here at Davis, we could save a lot of
storage by having a newsgroup.

Just my two cents,

Mark Heckman
U.C. Davis
