NEWS
changeset 68349 2ac3a5c07dfa
parent 68293 7ca0c23179e6
child 68365 5c579bb9adb1
     1.1 --- a/NEWS	Fri Jun 01 11:51:03 2018 +0200
     1.2 +++ b/NEWS	Fri Jun 01 15:53:35 2018 +0200
     1.3 @@ -380,6 +380,11 @@
     1.4  and concurrent use of theories, based on Isabelle/PIDE infrastructure.
     1.5  See also the "system" manual.
     1.6  
     1.7 +* The command-line tool "dump" dumps information from the cumulative
     1.8 +PIDE session database: many sessions may be loaded into a given logic
     1.9 +image, results from all loaded theories are written to the output
    1.10 +directory.
    1.11 +
    1.12  * The command-line tool "isabelle update_comments" normalizes formal
    1.13  comments in outer syntax as follows: \<comment> \<open>text\<close> (whith a single space to
    1.14  approximate the appearance in document output). This is more specific