NEWS
changeset 66745 e7ac579b883c
parent 66739 1e5c7599aa5b
child 66757 e32750d7acb4
     1.1 --- a/NEWS	Sun Oct 01 20:50:26 2017 +0200
     1.2 +++ b/NEWS	Mon Oct 02 11:43:17 2017 +0200
     1.3 @@ -30,8 +30,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 +* Command-line tool "isabelle build" supports new options:
    1.10 +  - option -B NAME: include session NAME and all descendants
    1.11 +  - option -S: only observe changes of sources, not heap images
    1.12  
    1.13  
    1.14  New in Isabelle2017 (October 2017)