add ISABELLE_VERSION to ML_IDENTIFIER, unless this is repository or build;
add ISABELLE_VERSION to ML_IDENTIFIER, unless this is repository or build;

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