NEWS
changeset 67043 848672fcaee5
parent 67013 335a7dce7cb3
child 67051 e7e54a0b9197
     1.1 --- a/NEWS	Sat Nov 11 14:55:30 2017 +0100
     1.2 +++ b/NEWS	Sat Nov 11 15:45:12 2017 +0100
     1.3 @@ -98,6 +98,9 @@
     1.4  for this session. There is no need to specify options [document = false]
     1.5  anymore.
     1.6  
     1.7 +* The command-line tool "isabelle mkroot" now always produces a document
     1.8 +outline: its options have been adapted accordingly. INCOMPATIBILITY.
     1.9 +
    1.10  * Linux and Windows/Cygwin is for x86_64 only. Old 32bit platform
    1.11  support has been discontinued.
    1.12