diff -r a142ec271d83 -r be20f5f6feb9 etc/settings
--- a/etc/settings	Mon Oct 08 12:52:28 2018 +0200
+++ b/etc/settings	Mon Oct 08 15:42:43 2018 +0200
@@ -138,6 +138,8 @@
 
 ISABELLE_OPAM_ROOT="$ISABELLE_HOME_USER/opam"
 
+ISABELLE_OCAML_VERSION="4.05.0"
+
 
 ###
 ### Misc settings
@@ -147,7 +149,5 @@
 
 #ISABELLE_GHC="/usr/bin/ghc"
 #ISABELLE_MLTON="/usr/bin/mlton"
-#ISABELLE_OCAML="/usr/bin/ocaml"
-#ISABELLE_OCAMLC="/usr/bin/ocamlc"
 #ISABELLE_SMLNJ="/usr/bin/sml"
 #ISABELLE_SWIPL="/usr/bin/swipl"