[cvs-nhc98] patch applied (hat): Lots of improvements for hat-explore.

[Malcolm Wallace]

Wed Feb 13 08:13:40 PST 2002  malcolm
  * Lots of improvements for hat-explore.

    M ./src/hattools/HighlightStyle.hs -16 +59
    M ./src/hattools/LowLevel.hs -4 +25
    M ./src/hattools/Makefile -2 +2
    M ./src/hattools/PrettyLibHighlight.hs -28 +32
    M ./src/hattools/SExp.hs -68 +135
    M ./src/hattools/browsercomms.c -37
    M ./src/hattools/browsercomms.h -1
    M ./src/hattools/utils.c +125
    M ./src/hattools/utils.h +2