* settings: ML_IDENTIFIER includes the Isabelle version identifier;
* settings: ML_IDENTIFIER includes the Isabelle version identifier;

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