Thu Oct 25 05:15:26 PDT 2001 thorsten * Fix interaction of Hat tools with new "xterm". Fix pattern parser. M ./src/hattools/HatDetect.hs -2 +2 M ./src/hattools/HatObserve.hs -3 +7 M ./src/hattools/HatTrace.gc -1 +8 M ./src/hattools/HatTrie.hs -16 +16 M ./src/hattools/Hatdetect.hs -2 +2 M ./src/hattools/Hatobserve.hs -3 +7