NEWS
changeset 65567 c556c09765dd
parent 65557 29c69a599743
child 65572 6acb28e5ba41
     1.1 --- a/NEWS	Sun Apr 23 23:06:50 2017 +0200
     1.2 +++ b/NEWS	Sun Apr 23 23:10:23 2017 +0200
     1.3 @@ -202,7 +202,11 @@
     1.4  unchanged.
     1.5  
     1.6  * Command-line tool "isabelle imports" helps to maintain theory imports
     1.7 -wrt. session structure.
     1.8 +wrt. session structure. Examples:
     1.9 +
    1.10 +  isabelle imports -I -a
    1.11 +  isabelle imports -U -a
    1.12 +  isabelle imports -M -a -d '~~/src/Benchmarks'
    1.13  
    1.14  
    1.15