malcolm: Mon Mar 4 17:55:07 CET 2002 Update of /usr/src/master/nhc/src/hat/tools In directory hinken:/tmp/cvs-serv18574 Modified Files: HatObserve.hs HatTrace.gc observe.c observe.h Log Message: In hat-observe: allow interrupts while searching for equations. Also, add commands :+ and :- for changing cutoff-depth by increments.