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)