updated settings: ISABELLE_OCAMLFIND, ISABELLE_OCAML_SETUP, but retain compatibility with historic versions that require ISABELLE_OCAMLC;
This directory contains some administrative tools for clones of the
Isabelle repository. They do not appear in proper distributions.