| changeset 65567 | c556c09765dd |
| parent 65557 | 29c69a599743 |
| child 65572 | 6acb28e5ba41 |
--- a/NEWS Sun Apr 23 23:06:50 2017 +0200 +++ b/NEWS Sun Apr 23 23:10:23 2017 +0200 @@ -202,7 +202,11 @@ unchanged. * Command-line tool "isabelle imports" helps to maintain theory imports -wrt. session structure. +wrt. session structure. Examples: + + isabelle imports -I -a + isabelle imports -U -a + isabelle imports -M -a -d '~~/src/Benchmarks'