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