NEWS

--- a/NEWS	Sun Oct 01 12:28:52 2017 +0200
+++ b/NEWS	Sun Oct 01 13:07:31 2017 +0200
@@ -27,6 +27,9 @@
 * Windows and Cygwin is for x86_64 only. Old 32bit platform support has
 been discontinued.
 
+* Command-line tool "isabelle build" supports option -B for base
+sessions: all descendants are included.
+
 
 New in Isabelle2017 (October 2017)
 ----------------------------------