--- a/src/Pure/System/isabelle_system.ML Wed Apr 09 16:22:06 2014 +0200
+++ b/src/Pure/System/isabelle_system.ML Wed Apr 09 17:29:37 2014 +0200
@@ -67,7 +67,7 @@
else (system_command ("cp -p -R -f " ^ File.shell_path src ^ "/. " ^ File.shell_path dst); ());
-(* unique tmp files *)
+(* tmp files *)
fun create_tmp_path name ext =
let
@@ -80,6 +80,9 @@
let val path = create_tmp_path name ext
in Exn.release (Exn.capture f path before ignore (try File.rm path)) end;
+
+(* tmp dirs *)
+
fun rm_tree path = system_command ("rm -r -f " ^ File.shell_path path);
fun with_tmp_dir name f =