[cvs-nhc98] patch applied (hat): First revised version of hat-observe for the new file format.

[Malcolm Wallace]

Fri Apr 26 03:34:06 PDT 2002  malcolm
  * 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.

    R ./src/hattools/Expressions.c
    R ./src/hattools/Expressions.h
    R ./src/hattools/FunTable.c
    R ./src/hattools/FunTable.h
    M ./src/hattools/HatObserve.hs -145 +194
    M ./src/hattools/Makefile -18 +30
    M ./src/hattools/SExp.hs -1 +30
    R ./src/hattools/hat-checki.c
    R ./src/hattools/hat-detect.c
    M ./src/hattools/hat-names.c -251 +103
    R ./src/hattools/hat-observe.c
    R ./src/hattools/hatfile.h
    R ./src/hattools/hatgeneral.c
    R ./src/hattools/hatgeneral.h
    R ./src/hattools/hatinterface.c
    R ./src/hattools/hatinterface.h
    R ./src/hattools/menu.c
    R ./src/hattools/menu.h
    R ./src/hattools/nodelist.c
    R ./src/hattools/nodelist.h
    M ./src/hattools/observeutils.c -595 +269
    M ./src/hattools/observeutils.h -69 +31