No questions but three comments: * introducing the new "spad" environment is very sensible -- also from a philosophical point of view.
* introducing the new "aldor" environment is superb. Ralf will like this one, too! * thanks for your prompt actions! it's really nice to work together with such responsive people! Martin _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
