more robust handling of invocation errors; added -m MODE option;
more robust handling of invocation errors;
added -m MODE option;

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