axiom-developer
[Top][All Lists]
Advanced

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

Re: [Axiom-developer] Re: noweb


From: Gabriel Dos Reis
Subject: Re: [Axiom-developer] Re: noweb
Date: 04 May 2006 17:42:53 +0200

"Page, Bill" <address@hidden> writes:

| Gaby, 
| 
| On Thursday, May 04, 2006 10:48 AM you wrote:
| > ... 
| > I read the message saw other problems that people mentioned.  I
| > (mis)interpreted Ralf's statement as saying that it was a bug
| > in noweb -- that is now corrected.
| >
| 
| There was a bug in noweb that was corrected in a recent version
| but that bug has nothing to do with Tim's patch for the undefined
| chunk issue and does not affect current Axiom code in any way.
| (I believe that it did affect something that Ralf was doing with
| his documentation system for Aldor.)

Now, that gets it straight in my head.  Thanks!

-- Gaby




reply via email to

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