diff etc/widget.texi @ 29684:4380fdbfe977

(Info-find-in-tag-table-1, Info-find-in-tag-table) (Info-find-node-in-buffer-1, Info-find-node-in-buffer): New functions. (Info-find-node-2): Try a case-sensitive search first, then do a case-insensitive search.
author Gerd Moellmann <gerd@gnu.org>
date Thu, 15 Jun 2000 19:49:11 +0000
parents 1effe507ea85
children
line wrap: on
line diff