# HG changeset patch
# User wenzelm
# Date 1002311437 -7200
# Node ID a0e6bda62b7b36ba1324b31fb8d68bdb1227ed63
# Parent  c7df5515857481e9899585af091632fb6fc666fb
*** empty log message ***

diff -r c7df55158574 -r a0e6bda62b7b NEWS
--- 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;