malcolm: Fri Feb 15 16:32:59 CET 2002 Update of /usr/src/master/nhc/src/hat/tools In directory hinken:/tmp/cvs-serv7241 Modified Files: HatObserve.hs Log Message: Tidy up hat-observe user interface. * command DEBUG is now DETECT * new command EXPLORE