[EMAIL PROTECTED] writes: > The list of axiom identifiers existed as some point in the past. It was used > for command completion in clef. I can look around for it when I get back.
Would be great if this information could at least be extracted automatically at build time. But I do not even know about the necessary format. Martin _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
