--- a/NEWS Wed Sep 14 20:47:17 2016 +0200
+++ b/NEWS Wed Sep 14 20:57:43 2016 +0200
@@ -79,6 +79,11 @@
*** Prover IDE -- Isabelle/Scala/jEdit ***
+* Dockable window "Symbols" also provides access to 'abbrevs' from the
+outer syntax of the current theory buffer. This provides clickable
+syntax templates, including entries with empty abbrevs name (which are
+inaccessible via keyboard completion).
+
* Cartouche abbreviations work both for " and ` to accomodate typical
situations where old ASCII notation may be updated.