--- a/NEWS Fri Jan 24 18:24:04 1997 +0100
+++ b/NEWS Fri Jan 24 18:36:30 1997 +0100
@@ -9,7 +9,7 @@
* the NEWS file;
* new utilities to build / run / maintain Isabelle etc. (in parts
-still somewhat experimental);
+still somewhat experimental); old Makefiles etc. still functional;
* simplifier: termless order as parameter; added interface for
simplification procedures (functions that produce *proven* rewrite
@@ -24,8 +24,8 @@
* infixes may now be declared with names independent of their syntax;
-* added typed_print_translation (like print_translation, but also gets
-the type of the constant);
+* added typed_print_translation (like print_translation, but may
+access type of constant);
* prlim command for dealing with lots of subgoals (an easier way of
setting goals_limit);