src/Pure/ML-Systems/smlnj.ML
changeset 23826 463903573934
parent 23770 2711e0285072
child 23921 947152add153
     1.1 --- a/src/Pure/ML-Systems/smlnj.ML	Tue Jul 17 13:19:20 2007 +0200
     1.2 +++ b/src/Pure/ML-Systems/smlnj.ML	Tue Jul 17 13:19:21 2007 +0200
     1.3 @@ -216,6 +216,12 @@
     1.4  
     1.5  (** OS related **)
     1.6  
     1.7 +(* current directory *)
     1.8 +
     1.9 +val cd = OS.FileSys.chDir;
    1.10 +val pwd = OS.FileSys.getDir;
    1.11 +
    1.12 +
    1.13  (* system command execution *)
    1.14  
    1.15  (*execute Unix command which doesn't take any input from stdin and