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