Stephen, The git-pull isn't answering the page so I suspect something is misconfigured as I can git-pull silver. I'll have to look into that.
In the meantime I'll use your posted diff. re: your changes Yes, they are what I'd consider a changeset. They address one particular problem that affects several files as one distinct conceptual change. Tim _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer