run smlnj devel on sunbroy2 and stable on atbroy51 until faster machines are around
run smlnj devel on sunbroy2 and stable on atbroy51 until faster machines are around

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