NEWS

--- a/NEWS	Mon Nov 13 15:00:21 2017 +0100
+++ b/NEWS	Mon Nov 13 15:07:03 2017 +0100
@@ -104,6 +104,9 @@
 * The command-line tool "isabelle mkroot" now always produces a document
 outline: its options have been adapted accordingly. INCOMPATIBILITY.
 
+* The command-line tool "isabelle mkroot -I" initializes a Mercurial
+repository for the generated session files.
+
 * Linux and Windows/Cygwin is for x86_64 only. Old 32bit platform
 support has been discontinued.