--- a/src/Pure/ML-Systems/mosml.ML Tue Jul 17 13:19:20 2007 +0200
+++ b/src/Pure/ML-Systems/mosml.ML Tue Jul 17 13:19:21 2007 +0200
@@ -7,7 +7,7 @@
NOTE: saving images does not work; may run it interactively as follows:
-$ cd ~~/src/Pure
+$ cd Isabelle/src/Pure
$ isabelle RAW_ML_SYSTEM
> val ml_system = "mosml";
> use "ML-Systems/mosml.ML";
@@ -164,6 +164,12 @@
(** OS related **)
+(* 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