Fri Oct 19 11:05:01 PDT 2001 olaf * Update hat user manual and correct inconsistency in hat-observe (show 10 reductions). M ./docs/hatuser.tex -132 +132 M ./src/compiler98/Makefile -2 +2 M ./src/compiler98/TraceTrans.hs -2 +3 M ./src/hatlib/hat-c.c -1 +1 M ./src/hattools/HatObserve.hs -1 +1 M ./src/hattools/Hatobserve.hs -1 +1 M ./src/hattrans/TraceTrans.hs -2 +3