NEWS
changeset 67246 4cedf44f2af1
parent 67224 341fbce5b26d
child 67248 68177abb2988
     1.1 --- a/NEWS	Thu Dec 21 21:44:09 2017 +0100
     1.2 +++ b/NEWS	Thu Dec 21 22:07:30 2017 +0100
     1.3 @@ -70,6 +70,9 @@
     1.4  "isabelle.antiquoted_cartouche" turns an antiquotation with 0 or 1
     1.5  arguments into this format.
     1.6  
     1.7 +* Action "isabelle.preview" presents auxiliary text files as well.
     1.8 +
     1.9 +
    1.10  
    1.11  *** Document preparation ***
    1.12