NEWS
changeset 66737 2edc0c42c883
parent 66729 1da2ef1fd8c1
child 66739 1e5c7599aa5b
     1.1 --- a/NEWS	Sun Oct 01 12:28:52 2017 +0200
     1.2 +++ b/NEWS	Sun Oct 01 13:07:31 2017 +0200
     1.3 @@ -27,6 +27,9 @@
     1.4  * Windows and Cygwin is for x86_64 only. Old 32bit platform support has
     1.5  been discontinued.
     1.6  
     1.7 +* Command-line tool "isabelle build" supports option -B for base
     1.8 +sessions: all descendants are included.
     1.9 +
    1.10  
    1.11  New in Isabelle2017 (October 2017)
    1.12  ----------------------------------