For convinience, attached is a patch against current Silver.
What is the "current Silver"??? Where is it? On Sourceforge? Ralf _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
