[EMAIL PROTECTED] writes:
>
>
>
> Hi all,
>
> I just had a look at the documentation of pphs. Great idea, but it
> seems as if the ghc source code was texed with something different.
>
Yes, that's right - the pphs bits in the CONTRIB/ section comes from a
student project that was done sometime ago here in Glasgow, and is not
really connected with how source code is formatted elsewhere in the
distribution.
> Where do those {code}-environments come from, and how can I teach LaTeX
> to understand them? Will this also fontify my code like pphs would, or
> is it just equivalent to {verbatim}? If so, can I convince pphs to work
> together with this other concept?
>
The {code} environments is part of the Glasgow literate programming
markup that was (and to some extent is) used with the GHC sources.
You'll find a distribution of the literate programming tools on the
FTP site, which amongst other things contain a converter from .lhs to
.tex. It converts {code} environments into {verbatim} ones (more or
less); no attempt is made to interpret the code chunks ala t/vgrind or
pphs.
hth,
--Sigbjorn
