NEWS
changeset 68734 c14a2cc9b5ef
parent 68690 354c04092cd0
child 68740 682ff0e84387
     1.1 --- a/NEWS	Wed Aug 01 19:48:58 2018 +0200
     1.2 +++ b/NEWS	Wed Aug 01 20:58:41 2018 +0200
     1.3 @@ -473,6 +473,11 @@
     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" options -c -x -B refer to
     1.8 +descendants wrt. the session parent or import graph. Subtle
     1.9 +INCOMPATIBILITY: options -c -x used to refer to the session parent graph
    1.10 +only.
    1.11 +
    1.12  * Command-line tool "isabelle build" takes "condition" options with the
    1.13  corresponding environment values into account, when determining the
    1.14  up-to-date status of a session.