NEWS
changeset 66843 be08a7691c62
parent 66841 5c32a072ca8b
child 66844 0746d4781674
     1.1 --- a/NEWS	Wed Oct 11 20:46:38 2017 +0200
     1.2 +++ b/NEWS	Wed Oct 11 20:55:11 2017 +0200
     1.3 @@ -71,6 +71,10 @@
     1.4    - option -S: only observe changes of sources, not heap images
     1.5    - option -f: forces a fresh build
     1.6  
     1.7 +* Command-line tool "isabelle build" takes "condition" options with the
     1.8 +corresponding environment values into account, when determining the
     1.9 +up-to-date status of a session.
    1.10 +
    1.11  
    1.12  New in Isabelle2017 (October 2017)
    1.13  ----------------------------------