NEWS

--- a/NEWS	Tue Dec 29 16:23:34 2015 +0100
+++ b/NEWS	Tue Dec 29 17:36:18 2015 +0100
@@ -38,6 +38,9 @@
 always possible, independently of the language context. It is never
 implicit: a popup will show up unconditionally.
 
+* Additional abbreviations for syntactic completion may be specified in
+$ISABELLE_HOME/etc/abbrevs and $ISABELLE_HOME_USER/etc/abbrevs.
+
 * Improved scheduling for urgent print tasks (e.g. command state output,
 interactive queries) wrt. long-running background tasks.