Protect against changes of interval tree when adding/removing text props.

[gnu-emacs] / etc / enriched.doc

diff --git a/etc/enriched.doc b/etc/enriched.doc
index 50dcf0bdac420959ff8f5849b799a82655312fa0..4ce34dd26e1c7ebff9f943ec08936f75cc51deb0 100644 (file)
--- a/etc/enriched.doc
+++ b/etc/enriched.doc
@@ -219,7 +219,7 @@ in the distribution.</indent>
 paragraph properly filled all the time, without slowing down
 editing too much.  Refill mode is a start at this, but needs
 
-</indent></indent>     <indent>improvment.
+</indent></indent>     <indent>improvement.
 
 + Refill after yank.  [Refill mode does that.]
 
@@ -256,15 +256,14 @@ bug reports are welcome.</indent>
 
 
 \f
-Copyright (C) 1995, 1997, 2001, 2002, 2003, 2004, 2005, 2006, 2007
-Free Software Foundation, Inc.
+Copyright (C) 1995, 1997, 2001-2013 Free Software Foundation, Inc.
 
 COPYING PERMISSIONS:
 
-    This document is free software; you can redistribute it and/or modify
+    This document is free software: you can redistribute it and/or modify
     it under the terms of the GNU General Public License as published by
-    the Free Software Foundation; either version 3, or (at your option)
-    any later version.
+    the Free Software Foundation, either version 3 of the License, or
+    (at your option) any later version.
 
     This program is distributed in the hope that it will be useful,
     but WITHOUT ANY WARRANTY; without even the implied warranty of
@@ -272,6 +271,4 @@ COPYING PERMISSIONS:
     GNU General Public License for more details.
 
     You should have received a copy of the GNU General Public License
-    along with this program; see the file COPYING.  If not, write to
-    the Free Software Foundation, Inc., 51 Franklin St, Fifth Floor,
-    Boston, MA 02110-1301 USA.
+    along with this program.  If not, see <<http://www.gnu.org/licenses/>.