Fri May 18 04:46:26 PDT 2001 colin * New communication protocol to support accurate yellow and blue annotation. Better clean-up on closing window. M ./src/old/trail/Bottom.java -10 +13 M ./src/old/trail/Case.java -15 +14 M ./src/old/trail/CharList.java -7 +12 M ./src/old/trail/CutOffTree.java -14 +8 M ./src/old/trail/DbgPanel.java -11 +9 M ./src/old/trail/EDTNode.java -14 +17 M ./src/old/trail/EDTParser.java -107 +108 M ./src/old/trail/EDTStructuredNode.java -21 +18 M ./src/old/trail/Hidden.java -4 +7 M ./src/old/trail/IdName.java -16 +10 M ./src/old/trail/OutputPanel.java -1 +1 M ./src/old/trail/Pruned.java -3 +4 M ./src/old/trail/Redex.java -4 +7 M ./src/old/trail/Trace.java -5 +4 M ./src/old/trail/TraceFrame.java +5 M ./src/old/trail/TraceTree.java -3 +4