Dear William, you reported that hyperdoc searches with wildcards don't work on your machine. (Bug #168)
Could you please try the fix proposed in #153 and tell me whether this works for you. (I think it works for me, but I have so many patches applied, that I can't tell which one fixed #168) If yes, I can mark yet another bug report as duplicate! Thank you, Martin _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
