NEWS
changeset 67311 3869b2400e22
parent 67305 ecb74607063f
child 67335 641d7da6ff96
     1.1 --- a/NEWS	Mon Jan 01 16:36:52 2018 +0100
     1.2 +++ b/NEWS	Mon Jan 01 21:17:28 2018 +0100
     1.3 @@ -77,6 +77,9 @@
     1.4  "isabelle.antiquoted_cartouche" turns an antiquotation with 0 or 1
     1.5  arguments into this format.
     1.6  
     1.7 +* Completion provides templates for named symbols with arguments,
     1.8 +e.g. "\<comment> \<open>ARGUMENT\<close>" or "\<^emph>\<open>ARGUMENT\<close>".
     1.9 +
    1.10  * Bibtex database files (.bib) are semantically checked.
    1.11  
    1.12  * Action "isabelle.preview" is able to present more file formats,