changeset 11700 | a0e6bda62b7b |
parent 11690 | cb64368fb405 |
child 11702 | ebfe5ba905b0 |
--- 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;