[cvs-nhc98] First revised version of hat-observe for the new file form

[Malcolm Wallace]

malcolm: Fri Apr 26 12:34:06 CEST 2002

Update of /usr/src/master/nhc/src/hat/tools
In directory hinken:/tmp/cvs-serv19208

Modified Files:
	HatObserve.hs Makefile SExp.hs hat-names.c observe.c observe.h 
Removed Files:
	Expressions.c Expressions.h FunTable.c FunTable.h hat-checki.c 
	hat-detect.c hat-observe.c hatfile.h hatgeneral.c hatgeneral.h 
	hatinterface.c hatinterface.h menu.c menu.h nodelist.c 
	nodelist.h 
Log Message:
First revised version of hat-observe for the new file format.
Features:
  * Observations of "var" and "var1 in var2" style.
  * Application counts for the :info command. (implementation in hat-names.c)
  * Now uses exactly the same pretty-printer as hat-trail.
Missing:
  * Patterns in an observation query.
  * Removal of non-unique equations.
  * Removal of less general equations.