In case you missed it, John McCarthy died at 84. I guess you don't have
to lisp to know about him:-)
--
=======================================================================
There's no time like the pleasant.
=======================================================================
Aaron Konstam telephone: (210) 656-0355 e-mail: akonstam(a)sbcglobal.net