Hi Folks,
The Hugs mailing lists have moved. The canonical addresses for these lists
are now
[EMAIL PROTECTED]
[EMAIL PROTECTED]
(but hugs-<blah>@cs.yale.edu will probably do this right thing in the
meantime).
Admin requests (subscribe/unsubscribe) should now be sent to
[EMAIL PROTECTED]
Just send a message with 'help' in the body to this address for
instructions.
Cheers,
Simon
