NEWS
changeset 65557 29c69a599743
parent 65552 f533820e7248
child 65567 c556c09765dd
     1.1 --- a/NEWS	Sun Apr 23 14:27:22 2017 +0200
     1.2 +++ b/NEWS	Sun Apr 23 15:59:51 2017 +0200
     1.3 @@ -201,6 +201,9 @@
     1.4  a negative value means the current state in the ML heap image remains
     1.5  unchanged.
     1.6  
     1.7 +* Command-line tool "isabelle imports" helps to maintain theory imports
     1.8 +wrt. session structure.
     1.9 +
    1.10  
    1.11  
    1.12  New in Isabelle2016-1 (December 2016)