diff -r 7d6c7c86d88b -r 4bb1251043cd NEWS
--- a/NEWS	Mon Oct 04 13:53:41 2021 +0200
+++ b/NEWS	Mon Oct 04 14:02:11 2021 +0200
@@ -30,6 +30,13 @@
 See also the group "Z Notation" in the Symbols dockable of
 Isabelle/jEdit.
 
+* The Isabelle/Haskell library ($ISABELLE_HOME/src/Tools/Haskell) has
+been significantly improved. In particular, module Isabelle.Bytes
+provides type Bytes for light-weight byte strings (with optional UTF8
+interpretation), similar to type string in Isabelle/ML. Isabelle symbols
+now work uniformly in Isabelle/Haskell vs. Isabelle/ML vs.
+Isabelle/Scala/PIDE.
+
 
 *** Isar ***