[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Ralf Hemmecke
Subject: [Axiom-developer] Re: article "standard" header/footer
Date: Mon, 12 Dec 2005 23:37:24 +0100
User-agent: Thunderbird 1.4 (X11/20050908)

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?


reply via email to

[Prev in Thread] Current Thread [Next in Thread]