# HG changeset patch
# User wenzelm
# Date 1633348931 -7200
# Node ID 4bb1251043cd3f403490921c7f41a684cf4b5cfd
# Parent  7d6c7c86d88be47ae8ee13a933a2b9257a50132c
more NEWS and CONTRIBUTORS;

diff -r 7d6c7c86d88b -r 4bb1251043cd CONTRIBUTORS
--- 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.
 
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 ***