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 |