Tue May 15 06:11:31 PDT 2001 colin * Help panels added, shared selection removed, various minor bug-fixes. M ./src/old/trail/Bottom.java -18 +5 M ./src/old/trail/Case.java -20 +4 M ./src/old/trail/CharList.java -13 +3 M ./src/old/trail/Connection.java -2 +2 M ./src/old/trail/CutOffTree.java -4 M ./src/old/trail/DbgPanel.java -3 +2 M ./src/old/trail/EDTNode.java -21 +4 M ./src/old/trail/EDTStructuredNode.java -22 +8 M ./src/old/trail/HatTrail.java -1 +4 A ./src/old/trail/Help.java M ./src/old/trail/Hidden.java -15 +3 M ./src/old/trail/IdName.java -5 +1 M ./src/old/trail/Options.java -2 +2 M ./src/old/trail/OutputPanel.java -12 +10 M ./src/old/trail/Pruned.java -20 +5 M ./src/old/trail/Redex.java -4 M ./src/old/trail/SourceViewer.java -2 +3 A ./src/old/trail/Symbols.java M ./src/old/trail/TraceFrame.java -17 +19 M ./src/old/trail/TraceTree.java -2 +2