# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1193647086 0
# Node ID 1f95b5d68950dfa4fb6c31eb87ea6cab6a612559
# Parent  d9c3438bb178c06529c4c0fdc4976d679d502efa
*** empty log message ***

diff -r d9c3438bb178 -r 1f95b5d68950 man/ChangeLog
--- a/man/ChangeLog	Mon Oct 29 08:37:54 2007 +0000
+++ b/man/ChangeLog	Mon Oct 29 08:38:06 2007 +0000
@@ -1,3 +1,8 @@
+2007-10-29  Richard Stallman  <rms@gnu.org>
+
+	* widget.texi (Introduction): Delete discussion of implementation
+	internals.
+
 2007-10-24  Richard Stallman  <rms@gnu.org>
 
 	* misc.texi (Interactive Shell): Cleanup last change.