cvs commit: hat/src/hattools HatSource.hs

olaf        2004/09/06 06:18:10 PDT

  Modified files:
    src/hattools         HatSource.hs 
  Log:
  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.
  
  Revision  Changes    Path
  1.5       +168 -53   hat/src/hattools/HatSource.hs