Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-06-14 11:42:12 -0700 (Mon, 14 Jun 2004)
Revision: 5901
Log message:

      Simplified the Shell.chdir function a little.
      Introduced the concept of a "mount point," to
      separate the choice of edit object from the
      chdir function.
      
      This doesn't change whether we should use real
      objects for edit objects.  However, it does suggest
      that edit objects should not handle ".." paths; that
      choice is performed by the mount handler.
      

Changes  Path
+9 -7 metaprl/support/shell/Files
+5 -8 metaprl/support/shell/shell.ml
+109 -65 metaprl/support/shell/shell_core.ml
+3 -3 metaprl/support/shell/shell_current.ml
+8 -8 metaprl/support/shell/shell_internal_sig.mlz
+1 -0 metaprl/support/shell/shell_package.ml
+1 -0 metaprl/support/shell/shell_root.ml
+5 -1 metaprl/support/shell/shell_rule.ml
+2 -1 metaprl/support/shell/shell_sig.mlz
+5 -7 metaprl/support/shell/shell_syscall.ml
Added metaprl/support/shell/shell_theory.mlz
Properties metaprl/support/shell/shell_theory.mlz
+1 -1 metaprl/theories/base/base_theory.mlz