[cvs-nhc98] In hat-observe: allow interrupts while searching for equat

4 Mar 2002


      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.

[cvs-nhc98] In hat-observe: allow interrupts while searching for equat

malcolm＠sparud.net