src/Pure/library.ML
changeset 2317 672015b535d7
parent 2303 84ed9e0d7c50
child 2403 8115988ccc22
     1.1 --- a/src/Pure/library.ML	Wed Dec 04 17:02:19 1996 +0100
     1.2 +++ b/src/Pure/library.ML	Thu Dec 05 13:31:32 1996 +0100
     1.3 @@ -685,6 +685,7 @@
     1.4  (** input / output **)
     1.5  
     1.6  val cd = OS.FileSys.chDir;
     1.7 +val pwd = OS.FileSys.getDir;
     1.8  
     1.9  val prs_fn = ref(fn s => TextIO.output (TextIO.stdOut, s));
    1.10