diff -r e0372eba47b7 -r 463903573934 src/Pure/ML-Systems/polyml.ML
--- a/src/Pure/ML-Systems/polyml.ML	Tue Jul 17 13:19:20 2007 +0200
+++ b/src/Pure/ML-Systems/polyml.ML	Tue Jul 17 13:19:21 2007 +0200
@@ -151,6 +151,12 @@
 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