malcolm: Fri May 3 13:10:01 CEST 2002 Update of /usr/src/master/nhc/src/hat/tools In directory hinken:/tmp/cvs-serv7527 Modified Files: HatObserve.hs SExp.hs Log Message: Fix incorrect pretty-printing indent in hat-observe: the highlighting of the eqn number should be done *after* determining its length.