--- 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)
------------------------------