Ralf Hemmecke <[EMAIL PROTECTED]> writes: | > I don't see any need to distinguish between c) and d). | | Well, if you are just a user of Axiom, you don't really need | noweb. That was the distinction.
I would say "you should not need noweb." Note the "conditional". But, the reality seems a bit different... -- Gaby _______________________________________________ Axiom-mail mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-mail
