# HG changeset patch
# User Luc Teirlinck <teirllm@auburn.edu>
# Date 1120422176 0
# Node ID bbc8b6b4962d58aa0f7590ea446e5df7099dabcd
# Parent  571f03216a479507dbc927214012fca311c3286c
(The Echo Area): Correct menu.

diff -r 571f03216a47 -r bbc8b6b4962d lispref/display.texi
--- a/lispref/display.texi	Sun Jul 03 20:21:23 2005 +0000
+++ b/lispref/display.texi	Sun Jul 03 20:22:56 2005 +0000
@@ -198,7 +198,7 @@
 
 @menu
 * Displaying Messages:: Explicitly displaying text in the echo area.
-* Progress Reports::    Informing user about progress of a long operation.
+* Progress::            Informing user about progress of a long operation.
 * Logging Messages::    Echo area messages are logged for the user.
 * Echo Area Customization:: Controlling the echo area.
 @end menu