Stephen, The git-pull worked fine as you typed it. I had a typo in my command line.
We should be able to do git-pulls from now on which will greatly simplify the task. Tim _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer