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