# HG changeset patch
# User wenzelm
# Date 1236635005 -3600
# Node ID a4772a650b4e4735a1e704ca72057119ff0c1245
# Parent  d7ac4b7aa5902e44633373e0d1d86aa62f095e2d
tuned;

diff -r d7ac4b7aa590 -r a4772a650b4e NEWS
--- a/NEWS	Mon Mar 09 21:26:13 2009 +0100
+++ b/NEWS	Mon Mar 09 22:43:25 2009 +0100
@@ -624,13 +624,13 @@
 
 * More systematic treatment of long names, abstract name bindings, and
 name space operations.  Basic operations on qualified names have been
-move from structure NameSpace to Long_Name, e.g.  Long_Name.base_name,
+move from structure NameSpace to Long_Name, e.g. Long_Name.base_name,
 Long_Name.append.  Old type bstring has been mostly replaced by
 abstract type binding (see structure Binding), which supports precise
-qualification (by packages and local theory), and proper tracking of
-source positions.  INCOMPATIBILITY, need to wrap old bstring values
-into Binding.name, or better pass through abstract bindings
-everywhere.  See further src/Pure/General/long_name.ML,
+qualification (by packages and local theory targets), as well as
+proper tracking of source positions.  INCOMPATIBILITY, need to wrap
+old bstring values into Binding.name, or better pass through abstract
+bindings everywhere.  See further src/Pure/General/long_name.ML,
 src/Pure/General/binding.ML and src/Pure/General/name_space.ML
 
 * Simplified interface for defining document antiquotations via