--- a/etc/settings Sun Oct 07 16:28:38 2018 +0200 +++ b/etc/settings Mon Oct 08 12:52:28 2018 +0200 @@ -133,6 +133,13 @@ ### +### OCaml +### + +ISABELLE_OPAM_ROOT="$ISABELLE_HOME_USER/opam" + + +### ### Misc settings ###