Changes by: Eli Barzilay (eli at cs.cornell.edu)
Date: 1998-08-17 19:31:31 -0700 (Mon, 17 Aug 1998)
Revision: 2441
Log message:

      Changed the `directory' separator from "." to "/";
      cd changes info.dir only after possible errors.
      

Changes  Path
+42 -40 metaprl/editor/ml/shell.ml