> 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.