NEWS
changeset 62075 ea3360245939
parent 62064 d9874039786e
child 62080 73fde830ddae
     1.1 --- a/NEWS	Tue Jan 05 23:28:43 2016 +0100
     1.2 +++ b/NEWS	Wed Jan 06 00:04:15 2016 +0100
     1.3 @@ -679,6 +679,9 @@
     1.4  
     1.5  * Antiquotation @{undefined} or \<^undefined> inlines (raise Match).
     1.6  
     1.7 +* Antiquotation @{method NAME} inlines the (checked) name of the given
     1.8 +Isar proof method.
     1.9 +
    1.10  * Pretty printing of Poly/ML compiler output in Isabelle has been
    1.11  improved: proper treatment of break offsets and blocks with consistent
    1.12  breaks.