NEWS
changeset 66841 5c32a072ca8b
parent 66826 0d60d2118544
child 66843 be08a7691c62
     1.1 --- a/NEWS	Mon Oct 09 19:10:52 2017 +0200
     1.2 +++ b/NEWS	Wed Oct 11 20:16:00 2017 +0200
     1.3 @@ -69,6 +69,7 @@
     1.4  * Command-line tool "isabelle build" supports new options:
     1.5    - option -B NAME: include session NAME and all descendants
     1.6    - option -S: only observe changes of sources, not heap images
     1.7 +  - option -f: forces a fresh build
     1.8  
     1.9  
    1.10  New in Isabelle2017 (October 2017)