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:30:26 +0100
Received: by dworshak.cs.uidaho.edu (1.37.109.4/16.2) id AA02866;
          Wed, 25 Aug 93 13:24:56 -0700
Sender: info-hol-request@cs.uidaho.edu
Errors-To: info-hol-request@cs.uidaho.edu
Precedence: bulk
Received: from laforge.cs.byu.edu by dworshak.cs.uidaho.edu 
          with SMTP (1.37.109.4/16.2) id AA02861; Wed, 25 Aug 93 13:23:57 -0700
Received: by laforge (5.65/DEC-Ultrix/4.3) id AA17133;
          Wed, 25 Aug 1993 14:22:44 -0600
Message-Id: <9308252022.AA17133@laforge>
To: info-hol@dworshak.cs.uidaho.edu
Cc: heckman@cs.ucdavis.edu (Mark R. Heckman)
Subject: Re: a hol newsgroup?
In-Reply-To: Your message of Wed, 25 Aug 93 13:07:50 -0700. <9308252007.AA29991@shangrila.cs.ucdavis.edu>
Date: Wed, 25 Aug 93 14:22:44 -0600
From: Phil Windley <windley@laforge.cs.byu.edu>
X-Mts: smtp


On Wed, 25 Aug 93 13:07:50 PDT, heckman@cs.ucdavis.edu wrote:
+------------
| 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.

This has been brought up before.  At sometime I suppose that it makes sense
to create a newsgroup.  Certainly the biggest advantage is that we'd get
drop in customers who just wanted to browse the newsgroup.  The biggest
disadvantage is that there are a number of people on the list who do not
have access to news.  

There are a number of alternatives including gatewaying the list ot a
newgroup, etc.  One that many sites with large numbers of HOL users use is
to create a local newsgroup for HOL and then gate the list into it.  A more
personal solution is to use a smarter mail handler such as MH which allows
you to automatically file mail messages according to various criteria.
You can even use your news reader to read the mail folders (if you use the
right one ;-) and give yourself the illusion of having a HOL newsgroup!

I'm happy to keep doing the mailing list.  I'd be happy to look into
establishing a newsgroup if that's what people want.  If you feel strongly,
one way or the other, why don't you send me an email message (rather than
the list) and I'll summarize the results.

--phil--

Phillip J. Windley, Asst. Professor   |  windley@cs.byu.edu
Laboratory for Applied Logic	      |  
Dept. of Computer Science, TMCB 3370  |
Brigham Young University              |  Phone: 801.378.3722
Provo UT       84602-6576             |  Fax:   801.378.7775
