# HG changeset patch
# User wenzelm
# Date 854127390 -3600
# Node ID 29b27a74c7d87231a2b60f92aecc932c6c52091f
# Parent  1b160cd5013072d86ab624864eef53067a84b89b
*** empty log message ***

diff -r 1b160cd50130 -r 29b27a74c7d8 NEWS
--- 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);