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