[cvs-nhc98] patch applied (hat): - speed up for " detect.c" : now worst case O(n) complexity (before O(n*n))

Fri Nov 9 13:06:46 PST 2001 thorsten * - speed up for "detect.c": now worst case O(n) complexity (before O(n*n)) - refix lost ability to lift EDT children of trusted equations. M ./src/hattools/HatDetect.hs -1 +1 M ./src/hattools/HatObserve.hs -2 +6 M ./src/hattools/HatTrace.gc -15 +5 M ./src/hattools/Hatdetect.hs -1 +1 M ./src/hattools/Hatobserve.hs -2 +6 M ./src/hattools/detect.c -11 +21 M ./src/hattools/hashtable.c +12 M ./src/hattools/hatinterface.c +47 M ./src/hattools/hatinterface.h +2