[isabelle-dev] Failing proofs

Lars Hupel hupel at in.tum.de
Thu Mar 21 19:04:00 CET 2019

Makarius' latest changeset has repaired the OCaml setup again. This has
now uncovered an actual build failure:


The last succeeding build was four days ago, so it is a bit hard to tell
what change caused this.

More information about the isabelle-dev mailing list