Changes by: Eli Barzilay (eli at cs.cornell.edu)
Date: 1998-09-29 18:34:37 -0700 (Tue, 29 Sep 1998)
Revision: 2482
Log message:

      cd is now used for all navigations, for example:
        cd "/test/test1/1/2"
      goes to the second subgoal of the first of the test1 theorem.
        cd ".."
      is the same as up 1 (which now uses cd).
        cd "..."
      is equivalent to cd "../..".
      Note: Path `normalization' is done before processing, so cd "X/.." always work.
      

Changes	Path
+108 -81	metaprl/editor/ml/shell.ml