[cvs-nhc98] patch applied (hat): Introduce uniform commands for switching debugging tools:

[Malcolm Wallace]

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