> BTW, I have been thinking about changing "axiom--test--1" (which
If you bring axiom--test--1 up to silver I'll check in the --patch-51 changes so far. arch is much easier to maintain for me. t _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
