Vanuxem Grégory <[EMAIL PROTECTED]> writes: | Hi, | | | Here is the patch (author unknown):
In the silver branch as of revision 37. -- Gaby _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer