NEWS
changeset 67433 e0c0c1f0e3e7
parent 67424 0b691782d6e5
child 67446 1f4d167b6ac9
     1.1 --- a/NEWS	Sun Jan 14 19:45:48 2018 +0100
     1.2 +++ b/NEWS	Sun Jan 14 20:10:11 2018 +0100
     1.3 @@ -212,6 +212,12 @@
     1.4  
     1.5  *** System ***
     1.6  
     1.7 +* The command-line tool "isabelle update_comments" normalizes formal
     1.8 +comments in outer syntax as follows: \<comment> \<open>text\<close> (whith a single space to
     1.9 +approximate the appearance in document output). This is more specific
    1.10 +than former "isabelle update_cartouches -c": the latter tool option has
    1.11 +been discontinued.
    1.12 +
    1.13  * Session ROOT entry: empty 'document_files' means there is no document
    1.14  for this session. There is no need to specify options [document = false]
    1.15  anymore.