diff lispref/syntax.texi @ 35136:1eb26b81ece0

(Info-search): Print the default as part of the prompt.
author Eli Zaretskii <eliz@gnu.org>
date Mon, 08 Jan 2001 16:59:54 +0000
parents bc81a1597206
children 30079c668d33
line wrap: on
line diff