--- a/NEWS Sun Jan 14 19:45:48 2018 +0100
+++ b/NEWS Sun Jan 14 20:10:11 2018 +0100
@@ -212,6 +212,12 @@
*** System ***
+* 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
+than former "isabelle update_cartouches -c": the latter tool option has
+been discontinued.
+
* Session ROOT entry: empty 'document_files' means there is no document
for this session. There is no need to specify options [document = false]
anymore.