--- a/src/Pure/Thy/present.ML Sat Feb 16 20:59:34 2002 +0100
+++ b/src/Pure/Thy/present.ML Sat Feb 16 21:26:19 2002 +0100
@@ -269,9 +269,9 @@
system ("cp " ^ File.sysify_path path1 ^ " " ^ File.sysify_path path2)); (*FIXME: quote!?*)
fun copy_all path1 path2 =
- (File.mkdir path2;
- system ("cp -r " ^ File.quote_sysify_path path1 ^ " " ^
- File.quote_sysify_path (Path.append path2 Path.parent)));
+ (File.mkdir path2;
+ system ("cp -r " ^ File.quote_sysify_path path1 ^ "/. " ^
+ File.quote_sysify_path path2));
fun name_of_session elems = space_implode "/" ("Isabelle" :: elems);