tuned documentation;
authorwenzelm
Sun Apr 23 23:10:23 2017 +0200 (2017-04-23)
changeset 65567c556c09765dd
parent 65566 94c514ea2846
child 65568 1070be576372
tuned documentation;
Admin/Release/CHECKLIST
NEWS
     1.1 --- a/Admin/Release/CHECKLIST	Sun Apr 23 23:06:50 2017 +0200
     1.2 +++ b/Admin/Release/CHECKLIST	Sun Apr 23 23:10:23 2017 +0200
     1.3 @@ -11,7 +11,7 @@
     1.4  
     1.5  - check sources:
     1.6      isabelle check_sources '~~' '$AFP_BASE'
     1.7 -    isabelle imports -M -d '~~/src/Benchmarks' -a
     1.8 +    isabelle imports -M -a -d '~~/src/Benchmarks'
     1.9  
    1.10  - check ANNOUNCE, README, NEWS, COPYRIGHT, CONTRIBUTORS;
    1.11  
     2.1 --- a/NEWS	Sun Apr 23 23:06:50 2017 +0200
     2.2 +++ b/NEWS	Sun Apr 23 23:10:23 2017 +0200
     2.3 @@ -202,7 +202,11 @@
     2.4  unchanged.
     2.5  
     2.6  * Command-line tool "isabelle imports" helps to maintain theory imports
     2.7 -wrt. session structure.
     2.8 +wrt. session structure. Examples:
     2.9 +
    2.10 +  isabelle imports -I -a
    2.11 +  isabelle imports -U -a
    2.12 +  isabelle imports -M -a -d '~~/src/Benchmarks'
    2.13  
    2.14  
    2.15