# HG changeset patch
# User wenzelm
# Date 1539807045 -7200
# Node ID 12ff5e4767524d90c4d64aed0724f2ab6b336bc0
# Parent  9d70340b565ca731b255cf4947dc9d921a68f064
tuned;

diff -r 9d70340b565c -r 12ff5e476752 NEWS
--- a/NEWS	Wed Oct 17 22:00:02 2018 +0200
+++ b/NEWS	Wed Oct 17 22:10:45 2018 +0200
@@ -92,7 +92,7 @@
 * 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
+dynamically according the state of ISABELLE_OPAM_ROOT and
 ISABELLE_OCAML_VERSION.
 
 * Support for Glasgow Haskell Compiler via command-line tools "isabelle