lib/Tools/ocaml_setup
Wed, 10 Mar 2021 19:03:24 +0100 wenzelm more robust init: avoid spilling opam artifacts;
Fri, 22 Mar 2019 10:36:50 +0100 wenzelm even more robust and conservative OCaml setup;
Thu, 21 Mar 2019 16:16:43 +0100 wenzelm further robustification (amending 772bdd1ed843);
Thu, 21 Mar 2019 14:54:25 +0100 wenzelm proper ISABELLE_OCAML_VERSION;
Thu, 21 Mar 2019 13:34:37 +0100 wenzelm more robust "switch create";
Wed, 20 Mar 2019 21:15:20 +0100 wenzelm avoid prompt;
Wed, 20 Mar 2019 17:33:06 +0100 wenzelm more robust: allow empty root (e.g. via symlink);
Thu, 14 Mar 2019 19:06:40 +0100 haftmann include zarith in the default opam setup
Sat, 22 Dec 2018 17:02:29 +0100 wenzelm tuned messages;
Wed, 17 Oct 2018 21:36:57 +0200 wenzelm tuned message;
Tue, 09 Oct 2018 13:06:39 +0200 wenzelm allow to switch ISABELLE_OCAML_VERSION later on;
Mon, 08 Oct 2018 15:42:43 +0200 wenzelm support for OCaml via command-line tools;
less more (0) tip