[plt-scheme] LaTeX macros for PLT manuals

Neil W. Van Dyke wrote:

>   For list-related administrative tasks:
>   http://list.cs.brown.edu/mailman/listinfo/plt-scheme
> 
> Are the TeX/LaTeX macros used for the PLT manuals available?
> 
> I'm curious what set of macros is used for marking up different kinds of
> Scheme symbols in body text, and how automatic the syntax-coloring of
> blocks of code is.

Are you sure you aren't referring to the output of SLaTeX and
tex2page?  These are Dorai Sitaram's programs that automatically
convert TeX enhanced with some specific commands into colorized,
cross-referenced and otherwise enhanced output.

(Now I'll sit back and await the slings and arrows of MJ Ray. <-;)

Shriram