[cvs-nhc98] patch applied (hat): Interaction of Redex Trail browser with hat-observe and hat-detect.

Thu Oct 25 15:14:00 PDT 2001 thorsten * 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. M ./src/old/trail/Connection.java +12 M ./src/old/trail/DbgPanel.java +36 M ./src/old/trail/MainPanel.java +4 M ./src/old/trail/TraceFrame.java +1