[isabelle-dev] Failing proofs
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:
> 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