[cvs-nhc98] patch applied (hat): - hat-tools now supporting isolated SATs in the hat file.

[Malcolm Wallace]

Mon May 14 10:37:43 PDT 2001  thorsten
  * - 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! ;)

    M ./src/hattools/Expressions.c -3 +13
    M ./src/hattools/Expressions.h +1
    M ./src/hattools/FunTable.c -7 +71
    M ./src/hattools/FunTable.h -1 +4
    M ./src/hattools/Makefile -7 +10
    M ./src/hattools/hat-detect.c -184 +272
    M ./src/hattools/hat-interact.c -15 +23
    M ./src/hattools/hat-observe.c -226 +20
    M ./src/hattools/hatfile.h +6
    M ./src/hattools/hatfileops.c -7 +77
    M ./src/hattools/hatfileops.h +2
    A ./src/hattools/menu.c
    A ./src/hattools/menu.h
    A ./src/hattools/observeutils.c