Gabriel Dos Reis <[EMAIL PROTECTED]> writes: > Martin Rubey <[EMAIL PROTECTED]> writes: > > | Gabriel Dos Reis <[EMAIL PROTECTED]> writes: > | > | > I very much like hyperlinks pointing to sections in other files. I really > | > disliuke duplicating documentation for no good reasons. But, I don't know > | > what ALLPROSE looks like in practice (sorry, I cannot do everything...) > | > | Do you have Axiom with Aldor support installed, or, at least Aldor > installed? > > I don't have Axiom support on the machine I usually work with.
That means, you have axiom and aldor installed, but they don't work together yet? Well, meanwhile Ralf gave you an easier way to get an impression for ALLPROSE. Just in case you want Axiom to support Aldor on your machine, here are the instructions: http://wiki.axiom-developer.org/AldorForAxiom Although I guess that you know that anyway. BTW, is it planned to have a debian package with support for Aldor built-in? Martin _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
