--- a/NEWS Thu Dec 21 21:44:09 2017 +0100
+++ b/NEWS Thu Dec 21 22:07:30 2017 +0100
@@ -70,6 +70,9 @@
"isabelle.antiquoted_cartouche" turns an antiquotation with 0 or 1
arguments into this format.
+* Action "isabelle.preview" presents auxiliary text files as well.
+
+
*** Document preparation ***