access OCaml tools and libraries via ISABELLE_OCAMLFIND;
OPAM setup is optional: it requires odd development tools that are not available in default OS installations (e.g. make, m4);
This directory contains some administrative tools for clones of the
Isabelle repository. They do not appear in proper distributions.