diff -r c90678ad942d -r 110fff287217 NEWS
--- a/NEWS	Wed Mar 20 16:55:21 2019 +0100
+++ b/NEWS	Wed Mar 20 20:15:30 2019 +0100
@@ -127,12 +127,11 @@
 * Code generation for OCaml: proper strings are used for literals.
 Minor INCOMPATIBILITY.
 
-* Code generation for OCaml: Zarith superseedes Nums as library for
-integer arithmetic.  It is included in the default setup after
-
-  isabelle ocaml_setup
-
-Minor INCOMPATIBILITY.
+* Code generation for OCaml: Zarith supersedes Nums as library for
+proper integer arithmetic. The library is located via standard
+invocations of "ocamlfind" (via ISABELLE_OCAMLFIND settings variable).
+The environment provided by "isabelle ocaml_setup" already contains this
+tool and the required packages. Minor INCOMPATIBILITY.
 
 * Code generation for Haskell: code includes for Haskell must contain
 proper module frame, nothing is added magically any longer.
@@ -284,6 +283,11 @@
 presence of structurally broken sources: full consolidation of theories
 is no longer required.
 
+* OCaml tools and libraries are now accesed via ISABELLE_OCAMLFIND,
+which needs to point to a suitable version of "ocamlfind" (e.g. via
+OPAM, see below). INCOMPATIBILITY: settings variables ISABELLE_OCAML and
+ISABELLE_OCAMLC are no longer supported.
+
 * Support for managed installations of Glasgow Haskell Compiler and
 OCaml via the following command-line tools:
 
@@ -308,12 +312,12 @@
 
   ISABELLE_GHC
 
-  ISABELLE_OCAML
-  ISABELLE_OCAMLC
+  ISABELLE_OCAMLFIND
 
 The old meaning of these settings as locally installed executables may
 be recovered by purging the directories ISABELLE_STACK_ROOT /
-ISABELLE_OPAM_ROOT.
+ISABELLE_OPAM_ROOT, or by resetting these variables in
+$ISABELLE_HOME_USER/etc/settings.
 
 * Update to Java 11: the latest long-term support version of OpenJDK.