[isabelle-dev] Failing proofs

Lars Hupel hupel at in.tum.de
Fri Mar 22 17:21:35 CET 2019

> Makarius' latest changeset has repaired the OCaml setup again. This has
> now uncovered an actual build failure:
> <https://ci.isabelle.systems/jenkins/job/isabelle-all/949/consoleFull>
> The last succeeding build was four days ago, so it is a bit hard to tell
> what change caused this.

I've pushed two more fixes, but we still have failures in
"Smooth_Manifolds" and "Noninterference_Generic_Unwinding", both of
which are out of my depth.

More information about the isabelle-dev mailing list