# HG changeset patch
# User wenzelm
# Date 902248871 -7200
# Node ID fee54d5c511cb119e9fefffd91179d98ee7787e5
# Parent  1bff4b1e5ba95fef9335a0c3ad4488844ca55cb4
tuned;
Display.print_goals function moved to Locale.print_goals;

diff -r 1bff4b1e5ba9 -r fee54d5c511c NEWS
--- a/NEWS	Tue Aug 04 18:40:18 1998 +0200
+++ b/NEWS	Tue Aug 04 18:41:11 1998 +0200
@@ -241,25 +241,27 @@
 
 *** Internal programming interfaces ***
 
-* removed global_names compatibility flag -- all theory declarations
-are qualified by default;
+* Pure: several new basic modules made available for general use, see
+also src/Pure/README;
 
 * improved the theory data mechanism to support encapsulation (data
 kind name replaced by private Object.kind, acting as authorization
 key); new type-safe user interface via functor TheoryDataFun;
 
+* removed global_names compatibility flag -- all theory declarations
+are qualified by default;
+
 * module Pure/Syntax now offers quote / antiquote translation
 functions (useful for Hoare logic etc. with implicit dependencies);
 
 * Simplifier now offers conversions (asm_)(full_)rewrite: simpset ->
 cterm -> thm;
 
-* Pure: several new basic modules made available for general use, see
-also src/Pure/README;
-
 * new tactical CHANGED_GOAL for checking that a tactic modifies a
 subgoal;
 
+* Display.print_goals function moved to Locale.print_goals;
+
 
 
 New in Isabelle98 (January 1998)