Fri May 11 03:28:26 PDT 2001 colin * Preparing for new options. M ./src/old/trail/Case.java -33 +19 M ./src/old/trail/DbgPanel.java -22 +21 M ./src/old/trail/EDTNode.java -9 +8 M ./src/old/trail/Options.java -6 +12 M ./src/old/trail/TraceFrame.java -1 +2 M ./src/old/trail/TraceTree.java -4 +17