Ralf, Axiom includes it's own copy of noweb which has some bug fixes. These bug fixes were not accepted back into the noweb sources.
Tim _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
