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