hierachically structured name spaces;

--- 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;