Thu Sep 20 06:26:47 PDT 2001 thorsten * Renamed "parents" of SATs to projValue, as for Projection nodes. M ./src/hattools/HatExpressionTree.hs -29 +33 M ./src/hattools/HatTrace.gc -3 +6 M ./src/hattools/hashtable.c -4 +49 M ./src/hattools/hashtable.h +3 M ./src/hattools/hatinterface.c -4 +2 M ./src/hattools/observeutils.c -2 +5