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.