coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] TeXinfo version of the docs?

From: "Stefan Monnier" <monnier+lists.coq/news/ AT rum.cs.yale.edu>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club] TeXinfo version of the docs?
Date: 30 Sep 2002 12:14:33 -0400
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Newsgroups: lists.coq

I'm mostly interested in the an `info' version of the docs, for
online viewing within Emacs, so other formats than TeXinfo would be
OK as long as it's easy to generate `info' out of it.

Stefan

[Coq-Club] TeXinfo version of the docs?, Stefan Monnier
- Re: [Coq-Club] TeXinfo version of the docs?, Jean-Christophe Filliatre