lib/Tools/ocaml_setup
5 weeks ago haftmann 2019-03-14 include zarith in the default opam setup
3 months ago wenzelm 2018-12-22 tuned messages;
6 months ago wenzelm 2018-10-17 tuned message;
6 months ago wenzelm 2018-10-09 allow to switch ISABELLE_OCAML_VERSION later on; simplified command-line: no user args;
6 months ago wenzelm 2018-10-08 support for OCaml via command-line tools;