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