more thorough error handling of load/save (see also c1be3072ea8f);
more thorough error handling of load/save (see also c1be3072ea8f);

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