NEWS
changeset 67069 f11486d31586
parent 67051 e7e54a0b9197
child 67088 89e82aed7813
     1.1 --- a/NEWS	Mon Nov 13 15:00:21 2017 +0100
     1.2 +++ b/NEWS	Mon Nov 13 15:07:03 2017 +0100
     1.3 @@ -104,6 +104,9 @@
     1.4  * The command-line tool "isabelle mkroot" now always produces a document
     1.5  outline: its options have been adapted accordingly. INCOMPATIBILITY.
     1.6  
     1.7 +* The command-line tool "isabelle mkroot -I" initializes a Mercurial
     1.8 +repository for the generated session files.
     1.9 +
    1.10  * Linux and Windows/Cygwin is for x86_64 only. Old 32bit platform
    1.11  support has been discontinued.
    1.12