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.