thorsten: Sun Nov 18 19:04:22 CET 2001 Update of /usr/src/master/nhc/docs/hat In directory hinken:/tmp/cvs-serv10388 Modified Files: hatuser.tex Log Message: Update documentation how to switch debugging tools.