> More now I have switched back to Poly/ML 5.6 (18f3d341f8c0), until I > find time to look what is really going on there.
As a result the build is back on green. I think it's safe to assume that the Poly/ML upgrade is the culprit. Cheers Lars _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
