# HG changeset patch
# User wenzelm
# Date 1473879463 -7200
# Node ID 2683c3be36eb5d42e7c8a6672c0a54b0e2844e2a
# Parent  e2393cfde472fb1210b80b4f52d5260308890c7d
NEWS;

diff -r e2393cfde472 -r 2683c3be36eb NEWS
--- 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.