[cvs-nhc98] Merge all of Thorsten's recent tool updates from the CVS h

malcolm: Thu Jul 5 15:09:56 CEST 2001 Update of /usr/src/master/nhc/src/tracer/hat In directory hinken:/tmp/cvs-serv29470 Modified Files: Tag: stable-1-06-branch Expressions.c Expressions.h Makefile detect.c detect.h hashtable.c hat-checki.c hat-detect.c hat-observe.c hatfile.h hatgeneral.c hatgeneral.h hatinterface.c hatinterface.h menu.c observe.c Added Files: Tag: stable-1-06-branch HatExpression.hs HatTrace.gc HatTrace.hs HatTrie.hs Hatobserve.hs Log Message: Merge all of Thorsten's recent tool updates from the CVS head into the stable-1-06-branch.