# HG changeset patch
# User wenzelm
# Date 1585154302 -3600
# Node ID 263298eb68b252d05f5845f1d8dd6936d7ab12a4
# Parent  6db526adccacf943f28c302fe4f3772b56aa89bd
more NEWS;

diff -r 6db526adccac -r 263298eb68b2 NEWS
--- a/NEWS	Wed Mar 25 17:33:46 2020 +0100
+++ b/NEWS	Wed Mar 25 17:38:22 2020 +0100
@@ -222,6 +222,9 @@
 * Isabelle/Scala support for proof terms (with full type/term
 information) in module isabelle.Term.
 
+* Isabelle/Scala: more scalable output of YXML files, e.g. relevant for
+"isabelle dump".
+
 * Theory export via Isabelle/Scala has been reworked. The former "fact"
 name space is now split into individual "thm" items: names are
 potentially indexed, such as "foo" for singleton facts, or "bar(1)",