[isabelle-dev] Failing proofs

[Lars Hupel]

> 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.