diff -r c32144b8baba -r 7afbaf5a406b NEWS
--- a/NEWS	Fri Jul 01 10:45:49 2011 +0200
+++ b/NEWS	Fri Jul 01 10:45:51 2011 +0200
@@ -126,6 +126,8 @@
 * Antiquotation @{rail} layouts railroad syntax diagrams, see also
 isar-ref manual.
 
+* Antiquotation @{value} evaluates the given term and presents its result.
+
 * Localized \isabellestyle switch can be used within blocks or groups
 like this: