[cvs-nhc98] cvs commit: hat/src/hattools HatSource.hs
olaf at haskell.org
olaf at haskell.org
Mon Sep 6 09:18:11 EDT 2004
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
More information about the Cvs-nhc98
mailing list