Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.2); Mon, 9 Nov 1992 16:23:24 +0000 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA24922; Mon, 9 Nov 92 08:12:07 -0800 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Precedence: bulk Received: from panther.cs.uidaho.edu by ted.cs.uidaho.edu (16.6/1.34) id AA24917; Mon, 9 Nov 92 08:12:02 -0800 Received: from localhost by panther.cs.uidaho.edu with SMTP id AA14422 (5.65c/IDA-1.4.4 for info-hol@ted); Mon, 9 Nov 1992 08:18:16 -0800 Message-Id: <199211091618.AA14422@panther.cs.uidaho.edu> To: info-hol@edu.uidaho.cs.ted Subject: Enough is enoguh!!! In-Reply-To: Your message of Mon, 09 Nov 92 10:56:34 -0500. <9211091556.AA29720@rodan.acs.syr.edu> Date: Mon, 09 Nov 92 08:18:16 -0800 From: Phil Windley X-Mts: smtp On Mon, 09 Nov 92 10:56:34 EST, jrejeb@mailbox.syr.edu wrote: +------------ | Please remove my name from The HOL mailing list. | Thank you | my email: jrejeb@mailbox.syr.edu We've had a bunch of these lately, so... It is considered bad form to send administrative notes to the whole mailing list. In general, if you want to send a note to the administrator of a mailing list named foo, send it to foo-request@host. In the last few weeks there has been a spate of administrative messages regarding addition and removal from the list sent to info-hol. We can do nothing about the people not on the list yet, but for those of you on the list now: PLEASE! if you wish to be removed from the list now or at anytime in the future, or have any other administrative matter, send the note to info-hol-request@cs.uidaho.edu rather than info-hol. Phillip J. Windley, Asst. Professor | windley@cs.uidaho.edu Laboratory for Applied Logic | windley@panther.cs.uidaho.edu Department of Computer Science | University of Idaho | Phone: 208.885.6501 Moscow, ID 83843 | Fax: 208.885.6645