[cvs-nhc98] patch applied (hat): Cleaned interfaces, mainly renamed some functions to have more

[Malcolm Wallace]

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