[cvs-nhc98] patch applied (hat): Changed marking of current redex slice: now the whole expression,

[Malcolm Wallace]

Mon Sep  6 06:18:13 PDT 2004  olaf
  * Changed marking of current redex slice: now the whole expression,
  not just the slice is underlined.
  (equation is underlined as well, considered more natural).
  
  Corrected search for children; now also children of a ConstUse are found and even children of variables bound in pattern bindings.
  
  Added toggling between showing current definition or current fault tree.
  
  Added toggling between showing definitions/fault tree fully or only demanded part.
  
  Added a help message.

    M ./src/hattools/HatExplore.hs -53 +168
    M ./src/hattrans/TraceTrans.hs -7 +9