coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Tony Sloane <inkytonik AT gmail.com>
- To: coq-club club <coq-club AT inria.fr>
- Subject: [Coq-Club] Coq documentation set for Dash
- Date: Mon, 4 Mar 2013 19:55:16 +1100
Hi everyone,
Mac users may know of the Dash documentation browser (http://kapeli.com).
It's a nice way to have a consistent, easily searchable collection of
documentation.
I've put together a Dash docset for Coq 8.4 that you can find on our
resources page:
https://wiki.mq.edu.au/display/plrg/Resources
The docset includes the reference manual and the standard library
documentation, plus the indexes of both.
If you try it, I think you'll find that Dash and this docset makes it very
easy to find things in this documentation.
cheers,
Tony
- [Coq-Club] Coq documentation set for Dash, Tony Sloane, 03/04/2013
- Re: [Coq-Club] Coq documentation set for Dash, Harley D. Eades III, 03/04/2013
- Re: [Coq-Club] Coq documentation set for Dash, Tony Sloane, 03/04/2013
- Re: [Coq-Club] Coq documentation set for Dash, Harley D. Eades III, 03/04/2013
Archive powered by MHonArc 2.6.18.