fixed (exited abnormally when ~/isabelle/etc/settings not present)
fixed
(exited abnormally when ~/isabelle/etc/settings not present)

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