I'd like to remind readers of hugs-bugs and hugs-users that they _should not_ send bug reports and queries directly to me. I no longer work on Hugs and, if I send an answer at all, it is likely to be slow in coming and out of touch with what is going on at Yale / Cambridge / OGI. For some problems, I may still be the best source of information but, since I'm still subscribed to the hugs-bugs and hugs-users mailing lists, I'll see any mail you send there. -- Alastair Reid [EMAIL PROTECTED] http://www2.cs.utah.edu/~reid/
