1.1 --- a/src/Pure/Thy/present.ML	Sat Feb 16 20:59:34 2002 +0100
     1.2 +++ b/src/Pure/Thy/present.ML	Sat Feb 16 21:26:19 2002 +0100
     1.3 @@ -269,9 +269,9 @@
     1.4    system ("cp " ^ File.sysify_path path1 ^ " " ^ File.sysify_path path2));  (*FIXME: quote!?*)
     1.5  
     1.6  fun copy_all path1 path2 =
     1.7 - (File.mkdir path2;
     1.8 -  system ("cp -r " ^ File.quote_sysify_path path1 ^ " " ^
     1.9 -    File.quote_sysify_path (Path.append path2 Path.parent)));
    1.10 + (File.mkdir path2;  
    1.11 +  system ("cp -r " ^ File.quote_sysify_path path1 ^ "/. " ^
    1.12 +    File.quote_sysify_path path2));
    1.13  
    1.14  
    1.15  fun name_of_session elems = space_implode "/" ("Isabelle" :: elems);