[cvs-nhc98] Change some symbols in hat-detect and hat-observe:

Fri, 15 Feb 2002 16:36:08 +0100 (CET)

malcolm: Fri Feb 15 16:36:08 CET 2002

Update of /usr/src/master/nhc/src/hat/tools
In directory hinken:/tmp/cvs-serv7281

Modified Files:
	PrettyExp.hs 
Log Message:
Change some symbols in hat-detect and hat-observe:
    * <HIDDEN> becomes { } with a reverse-video box in the middle
    * <dummy> becomes {IO} in bold
    * <cut> becomes a reverse-video box