On 05/25/2011 09:57 AM, Eugene Surowitz wrote:
But that just my view and given that the current index was essentially hand generated I don't intend to go further in that direction for the moment.
IIRC the index was not generated by hand, rather there's markup, something like \index{eq} in the original TeX, from which the index was generated programmatically.
Arthur _______________________________________________ Axiom-developer mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/axiom-developer
