thy_name: be very liberal about file name format (workaround problem with XEmacs on cygwin);
thy_name: be very liberal about file name format (workaround problem with XEmacs on cygwin);

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