"Bill Page" <[EMAIL PROTECTED]> writes: [...]
| > I think the the most natural solution for this problem is to | > require already installed external noweb. | > | | I agree. In fact I think it would be best to also require | external gcl. We can do what is necessary to warn and advise | the user what to do when noweb or gcl are not found and we | can supply a non-trunk copy of these in the Axiom repository. OK, I'll implement the removal of noweb from the source code. However, we must document the dependency and point to/put a copy of readly available noweb. I'm less enthousistic about the removal of GCL for the moment. -- Gaby _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer
