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.)
 
> ...

Regards,
Bill Page.


_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer

Reply via email to