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

      We had all kinds of problems with inconsistent directories in the shell.
      This uses a canonical directory name for shell_dir, fixing the consistency
      problem.
      

Changes	Path
+1 -0	metaprl/support/shell/Files
+17 -15	metaprl/support/shell/shell.ml
+1 -1	metaprl/support/shell/shell.mli
+237 -175	metaprl/support/shell/shell_core.ml
+7 -4	metaprl/support/shell/shell_core.mli
+3 -3	metaprl/support/shell/shell_current.ml
Added	metaprl/support/shell/shell_fs.ml
Properties	metaprl/support/shell/shell_fs.ml
Added	metaprl/support/shell/shell_fs.mli
Properties	metaprl/support/shell/shell_fs.mli
+12 -1	metaprl/support/shell/shell_internal_sig.mlz
+0 -0	metaprl/support/shell/shell_root.ml
+0 -0	metaprl/support/shell/shell_root.mli