[cvs-nhc98] patch applied (hat): - Hatobserve made primary " observation" tool. hat-observe.c now obsolete.

[Malcolm Wallace]

Thu Jul  5 09:45:57 PDT 2001  thorsten
  * - Hatobserve made primary "observation" tool. hat-observe.c now obsolete.
  - Heavily improved interactive mode for Hatobserve.
  - First integration of Hatobserve and hat-detect: Algorithmic Debugging
    Sessions can immediately be started on an observed equation.

    M ./src/hattools/HatObserve.hs -54 +347
    M ./src/hattools/HatTrace.gc -5 +34
    M ./src/hattools/HatTrie.hs -332 +344
    M ./src/hattools/Hatobserve.hs -54 +347
    M ./src/hattools/Makefile -5 +5
    M ./src/hattools/detect.c -10 +10
    M ./src/hattools/hat-detect.c -5 +18