lib/Tools/ocaml_setup
3 months ago wenzelm 2019-03-21 proper ISABELLE_OCAML_VERSION;
3 months ago wenzelm 2019-03-21 more robust "switch create"; disable sandboxing to avoid dependency on bubblewrap (unavailable on Ubuntu 16.04);
4 months ago wenzelm 2019-03-20 avoid prompt;
4 months ago wenzelm 2019-03-20 more robust: allow empty root (e.g. via symlink);
4 months ago haftmann 2019-03-14 include zarith in the default opam setup
6 months ago wenzelm 2018-12-22 tuned messages;
9 months ago wenzelm 2018-10-17 tuned message;
9 months ago wenzelm 2018-10-09 allow to switch ISABELLE_OCAML_VERSION later on; simplified command-line: no user args;
9 months ago wenzelm 2018-10-08 support for OCaml via command-line tools;