Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Coq documentation set for Dash

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Coq documentation set for Dash


Chronological Thread 
  • 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




Archive powered by MHonArc 2.6.18.

Top of Page