[Axiom-developer] [#144 Domain abbreviation is no longer associated with filename] wild card and case sensitivity in hyperdoc

[unknown]

Changes 
http://page.axiom-developer.org/zope/mathaction/144DomainAbbreviationIsNoLongerAssociatedWithFilename/diff
--
The searches should allow use wild card character * also be case insensitive. 
This is not the case in the open source version (something broken?), making it 
very unusable. Should be a high priority to fix since it is close to impossible 
for newcomers to program in Axiom without a fully working hyperdoc. Why spent 
time discussing about new GUI when it is perhaps simpler to fix these?
--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden