removed copy, copy_all (superceded by File.copy, File.copy_dir); File.shell_path, File.isatool; tuned;
removed copy, copy_all (superceded by File.copy, File.copy_dir);
File.shell_path, File.isatool;
tuned;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle