discontinued polyml-3.x; made cygwin functionality less intrusive; more quoting of expressions;
discontinued polyml-3.x;
made cygwin functionality less intrusive;
more quoting of expressions;

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