|Subject:||Re: info-lookup-symbol index case sensitivity|
|Date:||Thu, 05 Dec 2002 10:09:10 -0500|
It is a good thing for index search to ignore case. That should make it far easier to use, especially for beginners. As for occasional conflicts, that is less of an issue.
|[Prev in Thread]||Current Thread||[Next in Thread]|