another attempt to revive isatest -- reverting 801c01004a21;
another attempt to revive isatest -- reverting 801c01004a21;

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