thorsten: Fri Oct 26 00:14:00 CEST 2001 Update of /usr/src/master/nhc/src/tracer/ui/nhctracer In directory hinken:/tmp/cvs-serv470 Modified Files: Connection.java DbgPanel.java MainPanel.java TraceFrame.java Log Message: Interaction of Redex Trail browser with hat-observe and hat-detect. Double right mouse click on an identifier starts the observation tool, observing the all applications of the identifier. Double right mouse click on a redex starts the Algorithmic Debugging tool, allowing to analyse the evaluation of the redex.