Fri May 3 04:10:01 PDT 2002 malcolm * Fix incorrect pretty-printing indent in hat-observe: the highlighting of the eqn number should be done *after* determining its length. M ./src/hattools/HatObserve.hs -2 +2 M ./src/hattools/SExp.hs -2 +3