1.1 --- a/NEWS	Fri Jul 01 10:45:49 2011 +0200
     1.2 +++ b/NEWS	Fri Jul 01 10:45:51 2011 +0200
     1.3 @@ -126,6 +126,8 @@
     1.4  * Antiquotation @{rail} layouts railroad syntax diagrams, see also
     1.5  isar-ref manual.
     1.6  
     1.7 +* Antiquotation @{value} evaluates the given term and presents its result.
     1.8 +
     1.9  * Localized \isabellestyle switch can be used within blocks or groups
    1.10  like this:
    1.11