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