cvs-copy - make copy of CVS controlled directory hierarchy;
cvs-copy - make copy of CVS controlled directory hierarchy;

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