NEWS

--- a/NEWS	Thu Feb 25 22:06:43 2010 +0100
+++ b/NEWS	Thu Feb 25 22:08:43 2010 +0100
@@ -174,6 +174,13 @@
 
 *** ML ***
 
+* Antiquotations for type constructors:
+
+    @{type_name NAME}     -- logical type (as before)
+    @{type_abbrev NAME}   -- type abbreviation
+    @{nonterminal NAME}   -- type of concrete syntactic category
+    @{type_syntax NAME}   -- syntax representation of any of the above
+
 * Antiquotation @{syntax_const NAME} ensures that NAME refers to a raw
 syntax constant (cf. 'syntax' command).