--- a/src/Pure/Isar/isar_cmd.ML Thu Oct 07 17:20:58 1999 +0200
+++ b/src/Pure/Isar/isar_cmd.ML Thu Oct 07 22:36:52 1999 +0200
@@ -109,10 +109,8 @@
(* current working directory *)
-fun print_cd _ = writeln (Path.pack (File.pwd ()));
-
-fun cd dir = Toplevel.imperative (fn () => (File.cd (Path.unpack dir); print_cd ()));
-val pwd = Toplevel.imperative print_cd;
+fun cd dir = Toplevel.imperative (fn () => (File.cd (Path.unpack dir)));
+val pwd = Toplevel.imperative (fn () => writeln (Path.pack (File.pwd ())));
(* load theory files *)