Something exceptional has happened: isatest finished successfully, without any problems of the various (old) testing machines. See also http://isabelle.in.tum.de/devel Makarius