The Coq mailing list

[Adam Chlipala <adamc AT csail.mit.edu>]

Daniel Schepler wrote:
> I'd definitely be interested in seeing the tools you use for SF, 
> though, and
> probably also in seeing the tools Adam used to produce CPDT.
>    

Hardly any special tools to speak of.  It's vanilla coqdoc, for better 
or worse.  The 'tools' directory of the distribution contains the few 
OCaml scripts I use, for processes other than producing the PDF output.