Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-22 20:54:30 -0700 (Tue, 22 Jun 2004)
Revision: 6000
Log message:

      "Directory" menu fixes:
      - cd "~" now works correctly.
      - if pwd is >=2 levels deep (e.g. inside a module or a proof), remember
      the current level + 2nd-level dir (instead of current + 1st-level).
      

Changes	Path
+5 -5	metaprl/support/shell/session.ml
+1 -1	metaprl/support/shell/shell_core.ml