diff -r 7df60d1aa988 -r c7a13ce60161 NEWS
--- a/NEWS	Thu Dec 01 11:54:39 2011 +0100
+++ b/NEWS	Thu Dec 01 12:25:27 2011 +0100
@@ -23,6 +23,11 @@
 becomes obsolete.  Minor INCOMPATIBILITY, due to potential change of
 indices of schematic variables.
 
+* Renamed inner syntax categories "num" to "num_token" and "xnum" to
+"xnum_token", in accordance to existing "float_token".  Minor
+INCOMPATIBILITY.  Note that in practice "num_const" etc. are mainly
+used instead.
+
 
 *** Pure ***