You mean to tell me that the source code doesn't explain why someone wanted overlabel? Not even an example? That is, as the saying goes, "inconceivable!" :-)
Tim _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org https://lists.nongnu.org/mailman/listinfo/axiom-developer
