[cvs-nhc98] patch applied (hat): Help panels added, shared selection removed, various minor bug-fixes.

[Malcolm Wallace]

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