NEWS
changeset 35396 041bb8d18916
parent 35377 d84eec579695
child 35401 bfcbab8592ba
--- a/NEWS	Sat Feb 27 13:32:18 2010 +0100
+++ b/NEWS	Sat Feb 27 13:32:38 2010 +0100
@@ -177,6 +177,11 @@
 
 *** ML ***
 
+* Antiquotations for type classes:
+
+    @{class NAME}         -- type class
+    @{class_syntax NAME}  -- syntax representation of any of the above
+
 * Antiquotations for type constructors:
 
     @{type_name NAME}     -- logical type (as before)