Sat Nov 24 07:40:13 PST 2001 thorsten * Minor modifications to Hatobserve and Hatdetect. M ./src/hattools/HatDetect.hs -23 +18 M ./src/hattools/HatObserve.hs -47 +68 M ./src/hattools/HatTrie.hs -1 +1 M ./src/hattools/Hatdetect.hs -23 +18 M ./src/hattools/Hatobserve.hs -47 +68