NEWS;
authorwenzelm
Mon, 10 Feb 2020 22:24:01 +0100
changeset 71641 182956c8e020
parent 71640 b3954e1387b0
child 71642 7736b754b37f
NEWS;
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)",