[cvs-nhc98] patch applied (hat): In hat-observe: allow interrupts while searching for equations.

[Malcolm Wallace]

Mon Mar  4 08:55:07 PST 2002  malcolm
  * In hat-observe: allow interrupts while searching for equations.
  Also, add commands :+ and :- for changing cutoff-depth by increments.

    M ./src/hattools/HatObserve.hs -50 +71
    M ./src/hattools/HatTrace.gc -11 +22
    M ./src/hattools/observeutils.c -43 +82
    M ./src/hattools/observeutils.h +4