*** empty log message ***

--- a/NEWS	Fri Oct 05 21:49:59 2001 +0200
+++ b/NEWS	Fri Oct 05 21:50:37 2001 +0200
@@ -74,6 +74,10 @@
 
 * Meta-level proof terms (by Stefan Berghofer), see also ref manual;
 
+* new token syntax "num" for plain numerals (without "#" of "xnum");
+potential INCOMPATIBILITY, since -0, -1 etc. are now separate tokens,
+so expressions involving minus need to be spaced properly;
+
 * Classical reasoner: renamed addaltern to addafter, addSaltern to
 addSafter;