[isabelle-dev] HOL FAILED

[Alexander Krauss]

Lawrence Paulson wrote:
> I have just done a fetch and can no longer build Isabelle/HOL.

confirmed for current tip: 0059238fe4bc

Alex