NEWS
changeset 61960 20c1321378db
parent 61958 0a5dd617a88c
child 61963 2548e7cc86fb
     1.1 --- a/NEWS	Tue Dec 29 16:23:34 2015 +0100
     1.2 +++ b/NEWS	Tue Dec 29 17:36:18 2015 +0100
     1.3 @@ -38,6 +38,9 @@
     1.4  always possible, independently of the language context. It is never
     1.5  implicit: a popup will show up unconditionally.
     1.6  
     1.7 +* Additional abbreviations for syntactic completion may be specified in
     1.8 +$ISABELLE_HOME/etc/abbrevs and $ISABELLE_HOME_USER/etc/abbrevs.
     1.9 +
    1.10  * Improved scheduling for urgent print tasks (e.g. command state output,
    1.11  interactive queries) wrt. long-running background tasks.
    1.12