[cvs-nhc98] patch applied (hat): Update hat user manual and correct inconsistency in hat-observe (show 10 reductions).

[Malcolm Wallace]

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