added configurations SML_HOL and SML_makeall (even though the latter is practically infeasible)
added configurations SML_HOL and SML_makeall (even though the latter is practically infeasible)

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