| changeset 3846 | 6061fa463784 |
| parent 3822 | a17f9b8dca93 |
| child 3851 | fe9932a7cd46 |
--- a/NEWS Sun Oct 12 22:06:00 1997 +0200 +++ b/NEWS Mon Oct 13 10:14:52 1997 +0200 @@ -50,6 +50,12 @@ *** Syntax *** +* Pure: hierachically structured name spaces (for consts, types, thms, +...), use 'begin' or 'path' section in theory files; new lexical class +'longid' (e.g. Foo.bar.x) renders many old input syntactically +incorrect (e.g. "%x.x"); isatool fixdots inserts space after dots +("%x. x"); + * Pure: fixed idt/idts vs. pttrn/pttrns syntactic categories;