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