[Axiom-developer] Re: article "standard" header/footer

[Ralf Hemmecke]

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