[cvs-nhc98] patch applied (hat): Numerous small changes and bugfixes.

[Malcolm Wallace]

Thu Nov  4 11:41:31 PST 2004  olaf
  * Numerous small changes and bugfixes.
  
  Now all tools (execpt hat-anim) can call hat-explore and vice versa.
  
  Hat-explore always shows the full stack, even if started with specific redex. (So it nearly includes hat-trail.)
  
  Stack elements are numbered for better orientation in deep stack.

    M ./src/hattools/CommonUI.hs -1 +4
    M ./src/hattools/HatDetect.hs -2 +15
    M ./src/hattools/HatExplore.hs -67 +135
    M ./src/hattools/HatObserve.hs -4 +18
    M ./src/hattools/HatTrail.hs -1 +6