olaf 2004/11/04 11:41:33 PST Modified files: src/hattools CommonUI.hs HatDetect.hs HatExplore.hs HatObserve.hs HatTrail.hs Log: Numerous small changes and bugfixes. Now all tools (execpt hat-anim) can call hat-explore and vice versa. Hat-explore always shows the full stack, even if started with specific redex. (So it nearly includes hat-trail.) Stack elements are numbered for better orientation in deep stack. Revision Changes Path 1.8 +4 -1 hat/src/hattools/CommonUI.hs 1.30 +15 -2 hat/src/hattools/HatDetect.hs 1.17 +135 -67 hat/src/hattools/HatExplore.hs 1.67 +18 -4 hat/src/hattools/HatObserve.hs 1.36 +6 -1 hat/src/hattools/HatTrail.hs