NEWS

--- a/NEWS	Thu Feb 11 22:03:15 2010 +0100
+++ b/NEWS	Thu Feb 11 22:03:37 2010 +0100
@@ -132,6 +132,9 @@
 
 *** ML ***
 
+* Antiquotation @{syntax_const NAME} ensures that NAME refers to a raw
+syntax constant (cf. 'syntax' command).
+
 * Renamed old-style Drule.standard to Drule.export_without_context, to
 emphasize that this is in no way a standard operation.
 INCOMPATIBILITY.