lib/scripts/ocamlfind
Fri, 22 Mar 2019 10:36:50 +0100 wenzelm even more robust and conservative OCaml setup;
Wed, 20 Mar 2019 20:15:30 +0100 wenzelm access OCaml tools and libraries via ISABELLE_OCAMLFIND;
less more (0) tip