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