> Note: We can achieve that same affect with an unmodified version > of noweb if we use Norman Ramsey's suggested filter. See extensive > discussion of this in the email archive.
why not submit a patch to build-improvements that works just like the gold version but uses the suggested filter? just make sure that all of the noweb patches are properly covered. t _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
