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