NEWS
changeset 66851 c75769065548
parent 66844 0746d4781674
child 66906 03a96b8c7c06
     1.1 --- a/NEWS	Thu Oct 12 11:39:54 2017 +0200
     1.2 +++ b/NEWS	Thu Oct 12 15:58:18 2017 +0200
     1.3 @@ -78,6 +78,9 @@
     1.4  corresponding environment values into account, when determining the
     1.5  up-to-date status of a session.
     1.6  
     1.7 +* Command-line tool "isabelle imports -I" also reports actual session
     1.8 +imports. This helps to minimize the session dependency graph.
     1.9 +
    1.10  
    1.11  New in Isabelle2017 (October 2017)
    1.12  ----------------------------------