etc/settings
changeset 69938 564985d6867e
parent 69935 11d0fdb29ebc
child 70070 673a9d008123
     1.1 --- a/etc/settings	Thu Mar 21 14:17:36 2019 +0100
     1.2 +++ b/etc/settings	Thu Mar 21 14:54:25 2019 +0100
     1.3 @@ -144,7 +144,7 @@
     1.4  
     1.5  ISABELLE_OPAM_ROOT="$USER_HOME/.opam"
     1.6  
     1.7 -ISABELLE_OCAML_VERSION="4.05.0"
     1.8 +ISABELLE_OCAML_VERSION="ocaml-base-compiler.4.05.0"
     1.9  
    1.10  
    1.11  ###