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