--- a/NEWS Tue Jun 21 14:21:55 2022 +0200
+++ b/NEWS Wed Jun 22 14:52:27 2022 +0200
@@ -156,6 +156,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