Sun Nov 18 10:03:37 PST 2001 thorsten * Introduce uniform commands for switching debugging tools: "observe", "trail" and "debug" for the Observational Debugger, Redex-Trail browser and Algorithmic Debugger respectively. M ./src/hattools/HatDetect.hs -3 +3 M ./src/hattools/HatObserve.hs -5 +48 M ./src/hattools/Hatdetect.hs -3 +3 M ./src/hattools/Hatobserve.hs -5 +48