--- a/NEWS Mon Jun 20 11:06:33 2022 +0200
+++ b/NEWS Tue Jun 21 23:36:16 2022 +0200
@@ -144,6 +144,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