> Maybe you don't like it, but I use a slightly different approach in
> ALLPROSE. What comes out as defn and use in your case comes out in red
> and blue color in the index in ALLPROSE. And you would simply say:
> \defineterm{foo} and \useterm{foo}. Read the description of
> rhxterm.sty.nw on http://www.hemmecke.de/aldor. It even hyperlinks the
> foo in \useterm to the foo in \defineterm, not just putting something
> into the index.
ummm, i'm partially colorblind to red and green :-)
the \defineterm and \useterm are perfect examples of axiom.sty commands.
they should be used everywhere. being lazy i didn't write a \newcommand
to do this but just do it inline. but it's a good idea.
t
_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
