Re: [isabelle-dev] Fwd: isabelle test failed

[Makarius]

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

_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev