*** empty log message ***
authorwenzelm
Fri Jan 24 18:36:30 1997 +0100 (1997-01-24)
changeset 255529b27a74c7d8
parent 2554 1b160cd50130
child 2556 bef8e1315cbc
*** empty log message ***
NEWS
     1.1 --- a/NEWS	Fri Jan 24 18:24:04 1997 +0100
     1.2 +++ b/NEWS	Fri Jan 24 18:36:30 1997 +0100
     1.3 @@ -9,7 +9,7 @@
     1.4  * the NEWS file;
     1.5  
     1.6  * new utilities to build / run / maintain Isabelle etc. (in parts
     1.7 -still somewhat experimental);
     1.8 +still somewhat experimental); old Makefiles etc. still functional;
     1.9  
    1.10  * simplifier: termless order as parameter; added interface for
    1.11  simplification procedures (functions that produce *proven* rewrite
    1.12 @@ -24,8 +24,8 @@
    1.13  
    1.14  * infixes may now be declared with names independent of their syntax;
    1.15  
    1.16 -* added typed_print_translation (like print_translation, but also gets
    1.17 -the type of the constant);
    1.18 +* added typed_print_translation (like print_translation, but may
    1.19 +access type of constant);
    1.20  
    1.21  * prlim command for dealing with lots of subgoals (an easier way of
    1.22  setting goals_limit);