--- a/NEWS Fri Jun 01 11:51:03 2018 +0200
+++ b/NEWS Fri Jun 01 15:53:35 2018 +0200
@@ -380,6 +380,11 @@
and concurrent use of theories, based on Isabelle/PIDE infrastructure.
See also the "system" manual.
+* The command-line tool "dump" dumps information from the cumulative
+PIDE session database: many sessions may be loaded into a given logic
+image, results from all loaded theories are written to the output
+directory.
+
* The command-line tool "isabelle update_comments" normalizes formal
comments in outer syntax as follows: \<comment> \<open>text\<close> (whith a single space to
approximate the appearance in document output). This is more specific