# HG changeset patch
# User wenzelm
# Date 873987656 -7200
# Node ID 9fea3562f8c7d12d6043a832b60e755177635b00
# Parent  3384c6f1f095e071ff3fcebba8cddcf9ede58d10
replaced print_goals_ref hook by print_current_goals_fn and
result_error_fn;

diff -r 3384c6f1f095 -r 9fea3562f8c7 NEWS
--- a/NEWS	Thu Sep 11 16:16:03 1997 +0200
+++ b/NEWS	Thu Sep 11 16:20:56 1997 +0200
@@ -5,13 +5,16 @@
 New in Isabelle???? (DATE ????)
 -------------------------------
 
+* replaced print_goals_ref hook by print_current_goals_fn and
+  result_error_fn;
+
 * HOL/simplifier: terms of the form
   `? x. P1(x) & ... & Pn(x) & x=t & Q1(x) & ... Qn(x)' (or t=x)
   are rewritten to
   `P1(t) & ... & Pn(t) & Q1(t) & ... Qn(t)'
 
 * HOL/Lists: the function "set_of_list" has been renamed "set" (and its 
-  theorems too)
+  theorems too);
 
 * removed old README and Makefiles;