[cvs-nhc98] cvs commit: hat/src/hattrans TraceTrans.hs

olaf 2004/09/06 06:18:16 PDT Modified files: src/hattrans TraceTrans.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.72 +9 -7 hat/src/hattrans/TraceTrans.hs