Thu Nov 4 11:41:31 PST 2004 olaf * 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. M ./src/hattools/CommonUI.hs -1 +4 M ./src/hattools/HatDetect.hs -2 +15 M ./src/hattools/HatExplore.hs -67 +135 M ./src/hattools/HatObserve.hs -4 +18 M ./src/hattools/HatTrail.hs -1 +6