I have taken care of those two. Larry > On 22 Mar 2019, at 16:21, Lars Hupel <[email protected]> wrote: > >> 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
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
