lib/Tools/ocaml_setup
10 months ago wenzelm 2018-10-17 tuned message;
10 months ago wenzelm 2018-10-09 allow to switch ISABELLE_OCAML_VERSION later on; simplified command-line: no user args;
10 months ago wenzelm 2018-10-08 support for OCaml via command-line tools;