changeset 23826 | 463903573934 |
parent 23139 | aa899bce7c3b |
child 23921 | 947152add153 |
--- 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