|
| From: | Richard Stallman |
| 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] |