--- a/etc/settings Thu Mar 21 14:17:36 2019 +0100 +++ b/etc/settings Thu Mar 21 14:54:25 2019 +0100 @@ -144,7 +144,7 @@ ISABELLE_OPAM_ROOT="$USER_HOME/.opam" -ISABELLE_OCAML_VERSION="4.05.0" +ISABELLE_OCAML_VERSION="ocaml-base-compiler.4.05.0" ###