*** empty log message ***
authorwenzelm
Fri Oct 05 21:50:37 2001 +0200 (2001-10-05)
changeset 11700a0e6bda62b7b
parent 11699 c7df55158574
child 11701 3d51fbf81c17
*** empty log message ***
NEWS
     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