olaf: Fri Oct 19 20:05:00 CEST 2001 Update of /usr/src/master/nhc/docs/hat In directory hinken:/tmp/cvs-serv22160/docs/hat Modified Files: hatuser.tex Log Message: Update hat user manual and correct inconsistency in hat-observe (show 10 reductions).