diff etc/refcard-pl.ps @ 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 55e296e2cc9d
children
line wrap: on
line diff