# HG changeset patch
# User wenzelm
# Date 1581369841 -3600
# Node ID 182956c8e02086cddc85c60c594b1a864a4e15aa
# Parent  b3954e1387b0f9a9ee0da6bbe23c93ae1171aa42
NEWS;

diff -r b3954e1387b0 -r 182956c8e020 NEWS
--- a/NEWS	Mon Feb 10 21:59:24 2020 +0100
+++ b/NEWS	Mon Feb 10 22:24:01 2020 +0100
@@ -131,6 +131,11 @@
 in applications -- users are responsible to specify session ROOT entries
 properly.
 
+* The command-line tool "isabelle dump" and its underlying
+Isabelle/Scala module isabelle.Dump has become more scalable, by
+splitting sessions and supporting a base logic image. Minor
+INCOMPATIBILITY in options and parameters.
+
 * 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)",