# HG changeset patch
# User wenzelm
# Date 1720180874 -7200
# Node ID 223356965f6150de3f597e2cd9db8e5b0b19d5ca
# Parent  482897a69699573dcf05f06dac6565c938a2bd78
NEWS;

diff -r 482897a69699 -r 223356965f61 NEWS
--- a/NEWS	Fri Jul 05 13:46:13 2024 +0200
+++ b/NEWS	Fri Jul 05 14:01:14 2024 +0200
@@ -7,6 +7,8 @@
 New in this Isabelle version
 ----------------------------
 
+** HOL **
+
 * Theory "HOL.Wellfounded":
   - Removed lemma wellorder.wfP_less. Use wellorder.wfp_on_less instead.
     Minor INCOMPATIBILITIES.
@@ -43,6 +45,19 @@
 ease transition.
 
 
+*** System ***
+
+* The Isabelle/Scala type Bytes has become more scalable, with support
+for incremental construction via Bytes.Builder. There is no longer an
+artificial size limit, in contrast to Java byte arrays (max. 2 GiB).
+Bytes operations on files, streams, encode/decode, compress/uncompress,
+etc. have become more efficient, and bypass Java strings (max. 1 GiB).
+In particular, YXML parsing and printing now works on very large byte
+vectors as well: only the individual content nodes are limited by the
+built-in string size.
+
+
+
 New in Isabelle2024 (May 2024)
 ------------------------------