Hi Tim, root wrote:
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 :-)
Haven't you seen? The colors are an additional option. Standard in ALLPROSE is black/white. If you like to have your favourate colors, put them into a Makefile rule in "Makefile.def.nw" and be happy.
http://www.hemmecke.de/aldor/allprose/#dt:colored Chunk from "Makefile.def.nw". %CCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCC <<local customization of documentation styles>>= colored: @echo '\usepackage{color}' >> local.sty @echo '\def\cbx{\colorbox[rgb]}' >> local.sty @echo '\def\tcx{\textcolor[rgb]}' >> local.sty @echo '\def\defineTermStyle{\textcolor{red}}'>> local.sty @echo '\def\useTermStyle{\textcolor{blue}}'>> local.sty @ %def colored %$ %TTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTT
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.
rhxterm.sty is actually not part of ALLPROSE, because it is more general and I also use it for other purposes. You could just use it for axiom. It is a noweb file anyway. But please don't put it into a bigger .sty file. I maintain rhxterm.sty, but I don't like to do work twice because the Axiom branch is out of sync.
Ralf _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
