noweb is nearly gone. There are still a few files to convert to pure latex but not many. But the direction is clear. As soon as time permits...
Tim _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org https://lists.nongnu.org/mailman/listinfo/axiom-developer
