NEWS
changeset 63579 73939a9b70a3
parent 63561 3e3097ac37d1
child 63581 a1bdc546f276
     1.1 --- a/NEWS	Tue Aug 02 11:49:30 2016 +0200
     1.2 +++ b/NEWS	Tue Aug 02 17:35:18 2016 +0200
     1.3 @@ -111,6 +111,12 @@
     1.4  * Completion templates for commands involving "begin ... end" blocks,
     1.5  e.g. 'context', 'notepad'.
     1.6  
     1.7 +* Additional abbreviations for syntactic completion may be specified in
     1.8 +within the theory header as 'abbrevs', in addition to global
     1.9 +$ISABELLE_HOME/etc/abbrevs and $ISABELLE_HOME_USER/etc/abbrevs. The
    1.10 +theory syntax for 'keywords' has been simplified accordingly: optional
    1.11 +abbrevs need to go into the new 'abbrevs' section.
    1.12 +
    1.13  
    1.14  *** Isar ***
    1.15