On 07/06/18 15:22, Lars Hupel wrote: >> Does this minimal approach make any sense, and solve the imminent >> administrative problems? In particular without a decision yet about >> ISABELLE_OCAML_VERSION vs. ISABELLE_OCAML / ISABELLE_OCAMLC? > > I tend to agree. Let's fix OCaml to 4.05.0 and we can figure out a good > way to upgrade after the release.
(This thread is still open.) I presently tend to postpone the question if/how to support OCaml after the Isabelle2018. Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev