# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1191893141 0
# Node ID 959dee985b951a1a0d4d349eca2a6b0461ba3a09
# Parent  e8263132a24dae2223c50e5ec3e0062148da3570
*** empty log message ***

diff -r e8263132a24d -r 959dee985b95 lispref/ChangeLog
--- a/lispref/ChangeLog	Tue Oct 09 01:25:31 2007 +0000
+++ b/lispref/ChangeLog	Tue Oct 09 01:25:41 2007 +0000
@@ -1,3 +1,11 @@
+2007-10-09  Richard Stallman  <rms@gnu.org>
+
+	* text.texi (Examining Properties): Mention overlay priority.
+
+	* display.texi (Display Margins): Correct the description
+	of margin display specifications.
+	(Replacing Specs): New subnode broken out of Display Property.
+
 2007-10-05  Juanma Barranquero  <lekktu@gmail.com>
 
 	* display.texi (Auto Faces): Fix typo.