thorsten: Sun Nov 18 19:03:38 CET 2001 Update of /usr/src/master/nhc/src/tracer/hat In directory hinken:/tmp/cvs-serv10352 Modified Files: Hatdetect.hs Hatobserve.hs Log Message: Introduce uniform commands for switching debugging tools: "observe", "trail" and "debug" for the Observational Debugger, Redex-Trail browser and Algorithmic Debugger respectively.