[cvs-nhc98] patch applied (hat): In the user guide, the name Hatobserve becomes hat-observe again.

Thu Aug 23 06:27:37 PDT 2001 malcolm * In the user guide, the name Hatobserve becomes hat-observe again. M ./docs/hatuser.tex -12 +12