[cvs-nhc98] Reenabled cutting of expressions at certain depth in hat-o

[User olaf]

olaf: Fri Feb 15 17:40:09 CET 2002

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

Modified Files:
	HatDetect.hs HatExpressionTree.hs HatObserve.hs PrettyExp.hs 
Log Message:
Reenabled cutting of expressions at certain depth in hat-observe and hat-detect.
Try to always show at least function when showing an application. But all is still a big hack. The preset depth of 6 is good for terms but bad for strings.