coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Wouter Swierstra <w.swierstra AT cs.ru.nl>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] HTML Documentation
- Date: Mon, 18 Apr 2011 13:06:30 +0200
- Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:date:x-google-sender-auth:message-id:subject :from:to:content-type; b=reYAg/qI4DSNsMiqtvDFiChyIfzN8r1Ng6LDYK9nxiVPr1tawTmcTMB3X3AHlTUThI gPpJpPdCWrCTxhlH+fE82kDYbIxoYoug8kWzDzML6/XF1417EtJm/yAiEGmv1JLnJLuV K3PORw86HtVvXtsLr4ltQgLl4muXH34UrsihI=
Dear all,
I was looking to download an html version of the standard library
documentation and reference manual, but couldn't find the files
referred to from http://coq.inria.fr/documentation. Am I missing
something? Thanks,
Wouter
- [Coq-Club] HTML Documentation, Wouter Swierstra
Archive powered by MhonArc 2.6.16.