provide old-style ISABELLE_SCALA_SCRIPT for uniformity;
provide old-style ISABELLE_SCALA_SCRIPT for uniformity;

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