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