diff lispref/searching.texi @ 33642:26e82f006e90

(java-keywords): Add MATCH-HIGHLIGHT part for javadoc tags.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 20 Nov 2000 16:17:34 +0000
parents c3aecbe98b99
children d3872b19023d
line wrap: on
line diff