src/Pure/ML-Systems/polyml.ML

 (** OS related **)
 
 use "ML-Systems/polyml-posix.ML";
 
 
+(* current directory *)
+
+val cd = OS.FileSys.chDir;
+val pwd = OS.FileSys.getDir;
+
+
 (* system command execution *)
 
 (*execute Unix command which doesn't take any input from stdin and
   sends its output to stdout; could be done more easily by Unix.execute,
   but that function doesn't use the PATH*)