NEWS
changeset 3943 b6e0c90f3bf4
parent 3930 84ef550f5066
child 3964 f95d2fb6fac8
     1.1 --- a/NEWS	Mon Oct 20 11:06:01 1997 +0200
     1.2 +++ b/NEWS	Mon Oct 20 11:08:29 1997 +0200
     1.3 @@ -1,3 +1,4 @@
     1.4 +
     1.5  Isabelle NEWS -- history of user-visible changes
     1.6  ================================================
     1.7  
     1.8 @@ -7,11 +8,13 @@
     1.9  *** General Changes ***
    1.10  
    1.11  * hierachically structured name spaces (for consts, types, axms,
    1.12 -etc.); use 'begin' or 'path' section in theory files; new lexical
    1.13 -class 'longid' (e.g. Foo.bar.x) may render much of old input
    1.14 -syntactically incorrect (e.g. "%x.x"); isatool fixdots ensures space
    1.15 -after dots (e.g. "%x. x"); set long_names for fully qualified output
    1.16 -names;
    1.17 +etc.); new lexical class 'longid' (e.g. Foo.bar.x) may render much of
    1.18 +old input syntactically incorrect (e.g. "%x.x"); isatool fixdots
    1.19 +ensures space after dots (e.g. "%x. x"); set long_names for fully
    1.20 +qualified output names; NOTE: in case of severe problems with backward
    1.21 +campatibility try settin 'global_names' at compile time to disable
    1.22 +qualified names for theories; may also fine tune theories via 'global'
    1.23 +and 'local' section;
    1.24  
    1.25  * HTML output now includes theory graph data for display with Java
    1.26  applet or isatool browser; data generated automatically via isatool