--- a/CONTRIBUTORS Mon Oct 04 13:53:41 2021 +0200
+++ b/CONTRIBUTORS Mon Oct 04 14:02:11 2021 +0200
@@ -6,6 +6,9 @@
Contributions to Isabelle2021-1
-------------------------------
+* July .. September 2021: Makarius Wenzel
+ Significantly improved Isabelle/Haskell library.
+
* July 2021: Florian Haftmann
Further consolidation of bit operations and word types.
--- 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 ***