--- a/NEWS Sun Mar 10 15:16:45 2019 +0000
+++ b/NEWS Sun Mar 10 15:16:45 2019 +0000
@@ -123,6 +123,15 @@
* Code generation for OCaml: proper strings are used for literals.
Minor INCOMPATIBILITY.
+* Code generation for OCaml: Zarith superseedes Nums as library for
+integer arithmetic. Use the following incantation to obtain a suitable
+component setup:
+
+ isabelle ocaml_setup
+ isabelle ocaml_opam install zarith
+
+Minor INCOMPATIBILITY
+
* Code generation for Haskell: code includes for Haskell must contain
proper module frame, nothing is added magically any longer.
INCOMPATIBILITY.