malcolm: Thu Aug 23 15:27:37 CEST 2001 Update of /usr/src/master/nhc/docs/hat In directory hinken:/tmp/cvs-serv20143 Modified Files: hatuser.tex Log Message: In the user guide, the name Hatobserve becomes hat-observe again.