NEWS

--- a/NEWS	Mon Jan 16 20:32:33 2012 +0100
+++ b/NEWS	Mon Jan 16 21:50:15 2012 +0100
@@ -26,7 +26,8 @@
 * 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.
+used instead (which also include position information via
+constraints).
 
 
 *** Pure ***