root wrote:
oh, this is an artifact of an OLD debate. people want to use their "standard" version of notangle even though i keep telling them that axiom applies patches. you ran into the problem (and solved it yet again in a different way). axiom code needs axiom's notangle. but i seem to have lost that war.
Well, in my opinion it would be better to tell people that axiom needs at least version x.y of noweb and provide workarounds for bugs of noweb if Norman Ramsey does not like to include them into his distribution. I would rather say that we should take noweb as a tool and leave further development of that to other people. We should rather concentrate on something that is more mathematical, like algebra. Would somebody disagree here?
Ralf _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer