coqdoc
This page is obsolete: coqdoc is now distributed with the
Coq
system
Jean-Christophe.Filliatre[at]lri.fr
(formatted with
yamlpp
).
