isatool document: check output file (workaround PolyML problem with RC);
isatool document: check output file (workaround PolyML problem with RC);

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