[isabelle-dev] Build failure in slow sessions

Lars Hupel hupel at in.tum.de
Sun Feb 26 14:04:10 CET 2017


> 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



More information about the isabelle-dev mailing list