src/Pure/NJ.ML

   val delete_file = unlink;
 end;
 
 (*Get pathname of current working directory *)
 fun pwd () = System.Directory.getWD ();
+
+
+(*** ML command execution ***)
+
+fun use_string commands = System.Compile.use_stream (open_string commands);
+