"Bill Page" <[EMAIL PROTECTED]> writes: | Ralf, | | On August 5, 2006 8:17 PM you wrote: | > | > In order to remove the need to distribute a version of noweb | > with Axiom, we must modify the sources a bit. | | I must have missed something. Why do you think there is a need | to distribute noweb with Axiom? From my point of view noweb is | just a dependency like several other packages required to build | axiom.
Hmm, I don't seem to have Ralf's original message... -- Gaby _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer
