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 [email protected] https://lists.nongnu.org/mailman/listinfo/axiom-developer
