# HG changeset patch
# User wenzelm
# Date 1470154277 -7200
# Node ID a1bdc546f27695243cd18ef1e4e8015cb7438ae5
# Parent  7f06347a5013641d72aedc34eff930d4d4f5ecad
tuned;

diff -r 7f06347a5013 -r a1bdc546f276 NEWS
--- a/NEWS	Tue Aug 02 17:39:38 2016 +0200
+++ b/NEWS	Tue Aug 02 18:11:17 2016 +0200
@@ -111,11 +111,11 @@
 * Completion templates for commands involving "begin ... end" blocks,
 e.g. 'context', 'notepad'.
 
-* Additional abbreviations for syntactic completion may be specified in
+* Additional abbreviations for syntactic completion may be specified
 within the theory header as 'abbrevs', in addition to global
-$ISABELLE_HOME/etc/abbrevs and $ISABELLE_HOME_USER/etc/abbrevs. The
-theory syntax for 'keywords' has been simplified accordingly: optional
-abbrevs need to go into the new 'abbrevs' section.
+$ISABELLE_HOME/etc/abbrevs and $ISABELLE_HOME_USER/etc/abbrevs as
+before. The theory syntax for 'keywords' has been simplified
+accordingly: optional abbrevs need to go into the new 'abbrevs' section.
 
 
 *** Isar ***