coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] how to use coqdoc to generate documentation

From: Xinyu Feng <xinyu.feng AT yale.edu>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club] how to use coqdoc to generate documentation
Date: Thu, 27 Jan 2005 01:01:07 -0500
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Organization: Yale

Can someone give me a reference to the usage of coqdoc? The url http://www.lri.fr/~filliatr/coqdoc is obsolete.

--
Xinyu Feng

Ph.D. student                            Mailing address:
Department of Computer Science           51 Prospect St.
Yale University                          New Haven, CT 06511
                                        USA

Phone:                                   Homepage:
+1-203-432-1266                          http://flint.cs.yale.edu/feng

[Coq-Club] how to use coqdoc to generate documentation, Xinyu Feng
- Re: [Coq-Club] how to use coqdoc to generate documentation, Pierre Casteran