Via:  uk.ac.ucl.cs.nss; 19 Oct 88 17:09 GMT  (UK.AC.Cam.Cl.scaup)
Message-Id: <8810191622.AA01027@cheetah.ucdavis.edu>
Qotw: In any organization, there will always be one person who knows
      what is going on; eventually, this person will be fired.
Pointers: (916) 752-7324/3168
To: info-hol@edu.ucdavis.clover
Subject: Welcome to info-hol
Date: Wed, 19 Oct 88 09:22:38 -0800
From: Phil Windley <windley@edu.ucdavis.cheetah>
Sender: windley <windley%edu.ucdavis.cheetah@edu.ucdavis.clover>
Status: RO


Welcome to the info-hol mailing list.  This list is designed to provide a
forum for discussing topics relevant to HOL.  These issues could involve
HOL itself, uses of HOL, bug reports, fixes, question about HOL, etc.

I have set the mailing list up so that the number of messages crossing the
Atlantic is small.  Even so, I suppose that we should try to limit the
size of our postings to some reasonable size.  I don't know what that is,
but 120k is probably too large ;-). To this end, if you merely post a
message about your latest 120k addition to HOL and send the file to me, I
will make it available by anonymous ftp on iris.ucdavis.edu.  I don't think
that helps people in Europe, so perhaps someone over there would volunteer
to do the same thing.

I have set up the mailing list so that all messages posted are archived.
About once a month or so, I will collect these and make them available for
anonymous ftp on iris.ucdavis.edu.

Please feel free to post messages on this list, that's what its for.
Postings to the mailing list should go to info-hol@clover.ucdavis.edu.

If you have collegues who would like to be included, they should send
requests to info-hol-request@clover.ucdavis.edu.  Questions about the list
can be directed here as well.

--phil--

Phil Windley                          |  windley@iris.ucdavis.edu
Division of Computer Science          |  ucbvax!ucdavis!iris!windley
College of Engineering                |  (916) 752-7324 (or 3168)
University of California, Davis       |  Davis, CA 95616