Thanks for the pointer. Actually, Tony Hearn gave us the sources a few years ago although we have not been distributing them.
Tim _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
