--- a/NEWS Sat Feb 27 20:55:18 2010 +0100
+++ b/NEWS Sat Feb 27 20:56:03 2010 +0100
@@ -177,18 +177,20 @@
*** ML ***
-* Antiquotations for type classes:
+* Antiquotations for basic formal entities:
@{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)
+ @{class_syntax NAME} -- syntax representation of the above
+
+ @{type_name NAME} -- logical type
@{type_abbrev NAME} -- type abbreviation
@{nonterminal NAME} -- type of concrete syntactic category
@{type_syntax NAME} -- syntax representation of any of the above
+ @{const_name NAME} -- logical constant (INCOMPATIBILITY)
+ @{const_abbrev NAME} -- abbreviated constant
+ @{const_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).