changeset 66671 | 41b64e53b6a1 |
parent 66665 | ec78c84bfc44 |
child 66688 | ebb97a834338 |
child 66786 | 61617dafcd60 |
--- a/NEWS Sat Sep 16 17:25:51 2017 +0200 +++ b/NEWS Sun Sep 17 17:37:40 2017 +0200 @@ -306,7 +306,7 @@ serves as example for alternative PIDE front-ends. * Command-line tool "isabelle imports" helps to maintain theory imports -wrt. session structure. Examples: +wrt. session structure. Examples for the main Isabelle distribution: isabelle imports -I -a isabelle imports -U -a