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