NEWS

--- a/NEWS	Wed Oct 11 20:46:38 2017 +0200
+++ b/NEWS	Wed Oct 11 20:55:11 2017 +0200
@@ -71,6 +71,10 @@
   - option -S: only observe changes of sources, not heap images
   - option -f: forces a fresh build
 
+* Command-line tool "isabelle build" takes "condition" options with the
+corresponding environment values into account, when determining the
+up-to-date status of a session.
+
 
 New in Isabelle2017 (October 2017)
 ----------------------------------