# HG changeset patch
# User wenzelm
# Date 918148553 -3600
# Node ID 64f18b89d5d52717130d83bfb72fd6fd7b42637a
# Parent  3198f547f8afc641ffa4bdc42636256e03ee70ae
File.pwd, File.cd;

diff -r 3198f547f8af -r 64f18b89d5d5 src/Pure/Isar/isar_cmd.ML
--- a/src/Pure/Isar/isar_cmd.ML	Thu Feb 04 18:15:20 1999 +0100
+++ b/src/Pure/Isar/isar_cmd.ML	Thu Feb 04 18:15:53 1999 +0100
@@ -66,9 +66,9 @@
 
 (* current working directory *)
 
-fun print_cd _ = writeln (Library.pwd ());
+fun print_cd _ = writeln (Path.pack (File.pwd ()));
 
-fun cd dir = Toplevel.imperative (fn () => (Use.cd dir; print_cd ()));
+fun cd dir = Toplevel.imperative (fn () => (File.cd (Path.unpack dir); print_cd ()));
 val pwd = Toplevel.imperative print_cd;