# HG changeset patch
# User wenzelm
# Date 1655847019 -7200
# Node ID 5c1c4f537ae80f87250554f4a1ab0e6f1c3277fd
# Parent  3362b6a5d6974089a4bc1ce400be35ab483ecee0
NEWS;

diff -r 3362b6a5d697 -r 5c1c4f537ae8 NEWS
--- a/NEWS	Tue Jun 21 23:27:26 2022 +0200
+++ b/NEWS	Tue Jun 21 23:30:19 2022 +0200
@@ -141,6 +141,17 @@
   are printed in a way suitable for Scala 3.
 
 
+*** ML ***
+
+* Type Bytes.T supports scalable byte strings, beyond the limit of
+String.maxSize (approx. 64 MB on 64_32 architecture).
+
+* Operations for XZ compression (via Isabelle/Scala):
+
+  Isabelle_System.compress: Bytes.T -> Bytes.T
+  Isabelle_System.uncompress: Bytes.T -> Bytes.T
+
+
 *** System ***
 
 * Command-line tool "isabelle scala_project" supports Gradle as