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 [email protected] https://lists.nongnu.org/mailman/listinfo/axiom-developer
