Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
NEWS
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
isabelle