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