diff man/ediff.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 641e43bad886
children 983e65f12610
line wrap: on
line diff