> Where "automatic" means that a single Isabelle administrator (e.g. the > local user) decides to invoke "isabelle ocaml_setup" and do other > Isabelle administration in parallel. Afterwards the ISABELLE_OCAML > settings will be correctly provided by the etc/settings scripts, without > any further automatisms that can fail in strange ways.
OK. This is running now in testboard: <https://ci.isabelle.systems/jenkins/job/testboard/172/consoleFull> The corresponding changeset is <https://isabelle.in.tum.de/repos/testboard/rev/6d768e0eeaaf>. _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
