src/Pure/Isar/isar_cmd.ML
changeset 6228 64f18b89d5d5
parent 6195 62dc7e9050eb
child 6243 fb293dfa2df3
     1.1 --- a/src/Pure/Isar/isar_cmd.ML	Thu Feb 04 18:15:20 1999 +0100
     1.2 +++ b/src/Pure/Isar/isar_cmd.ML	Thu Feb 04 18:15:53 1999 +0100
     1.3 @@ -66,9 +66,9 @@
     1.4  
     1.5  (* current working directory *)
     1.6  
     1.7 -fun print_cd _ = writeln (Library.pwd ());
     1.8 +fun print_cd _ = writeln (Path.pack (File.pwd ()));
     1.9  
    1.10 -fun cd dir = Toplevel.imperative (fn () => (Use.cd dir; print_cd ()));
    1.11 +fun cd dir = Toplevel.imperative (fn () => (File.cd (Path.unpack dir); print_cd ()));
    1.12  val pwd = Toplevel.imperative print_cd;
    1.13  
    1.14