Hello,
[...] I haven't yet tried Silver.
with the other replies in this thread I managed to install both the current silver and the current gold sources.
Thank you, Christian _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
