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

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