[cvs-nhc98] - hat-tools now supporting isolated SATs in the hat file.

[Thorsten Brehm]

thorsten: Mon May 14 19:37:43 CEST 2001

Update of /usr/src/master/nhc/src/tracer/hat
In directory hinken:/tmp/cvs-serv24858/src/tracer/hat

Modified Files:
	Expressions.c Expressions.h FunTable.c FunTable.h Makefile 
	hat-detect.c hat-interact.c hat-observe.c hatfile.h 
	hatfileops.c hatfileops.h 
Added Files:
	menu.c menu.h observe.c 
Log Message:
- hat-tools now supporting isolated SATs in the hat file.
  Equations given by the tools should now be correct (mostly...)
- hat-observe now includes a work around for the partial application
  problem.
- Many modifications to hat-detect: it's a lot better now! ;)