diff -r a142ec271d83 -r be20f5f6feb9 NEWS
--- a/NEWS	Mon Oct 08 12:52:28 2018 +0200
+++ b/NEWS	Mon Oct 08 15:42:43 2018 +0200
@@ -25,7 +25,6 @@
 (legacy feature since Isabelle2016).
 
 
-
 *** HOL ***
 
 * Simplified syntax setup for big operators under image. In rare
@@ -90,6 +89,12 @@
 presence of structurally broken sources: full consolidation of theories
 is no longer required.
 
+* Support for OCaml via command-line tools "isabelle ocaml_setup",
+"isabelle ocaml", "isabelle ocamlc", "isabelle ocaml_opam". Existing
+settings variables ISABELLE_OCAML and ISABELLE_OCAMLC are maintained
+dynamically according the state of ISABELLE_OPAM_ROOT concerning
+ISABELLE_OCAML_VERSION.
+
 
 
 New in Isabelle2018 (August 2018)