> 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. _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
