coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Jean-Christophe Filliatre <Jean-Christophe.Filliatre AT lri.fr>
- To: Randy Pollack <rap AT dcs.ed.ac.uk>
- Cc: coq AT pauillac.inria.fr, coq-club AT pauillac.inria.fr
- Subject: [Coq-Club] Re: [Coqdev] Standard Library documentation
- Date: Mon, 23 Sep 2002 17:32:11 +0200 (MEST)
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Randy Pollack writes:
> Is the html documentation of coq 7.3 standard library
> <pauillac.inria.fr/coq/doc-eng.html> available as a tarball for
> downloading?
Yes, here:
http://www.lri.fr/~filliatr/pub/library.tar.gz
--
Jean-Christophe
- [Coq-Club] Re: [Coqdev] Standard Library documentation, Pierre Letouzey
- <Possible follow-ups>
- [Coq-Club] Re: [Coqdev] Standard Library documentation, Jean-Christophe Filliatre
Archive powered by MhonArc 2.6.16.