Fri Nov 2 08:21:04 PST 2001 thorsten * Cleaned interfaces, mainly renamed some functions to have more precise names. Fixed bug in lazy EDT generation: keep EDT children in correct outermost-redex-first order. M ./src/hattools/Expressions.c -35 +35 M ./src/hattools/Expressions.h -1 +2 M ./src/hattools/HatDetect.hs -1 +1 M ./src/hattools/HatObserve.hs -1 +1 M ./src/hattools/HatTrace.gc -124 +159 M ./src/hattools/Hatdetect.hs -1 +1 M ./src/hattools/Hatobserve.hs -1 +1 M ./src/hattools/Makefile +1 M ./src/hattools/detect.c -28 +49 M ./src/hattools/detect.h -10 +17 M ./src/hattools/hashtable.c -8 +8 M ./src/hattools/hashtable.h -4 +5 M ./src/hattools/hat-checki.c -10 +11 M ./src/hattools/hat-detect.c -19 +31 M ./src/hattools/hat-observe.c -3 +4 M ./src/hattools/hatfile.h -66 +40 M ./src/hattools/hatinterface.c -146 +165 M ./src/hattools/hatinterface.h -58 +77 M ./src/hattools/nodelist.c -9 +9 M ./src/hattools/nodelist.h -8 +8 M ./src/hattools/observeutils.c -55 +47 M ./src/hattools/observeutils.h -44 +50