--- 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)