Le mercredi 16 juillet 2008 à 22:41 -0500, [EMAIL PROTECTED] a écrit : > I bought a scroll wheel mouse today and tested the patch to hyperdoc > by Greg. It works.
Of course it works :-) Thanks for the inclusion of this code. Greg _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
