The Coq mailing list

[Tony Sloane <inkytonik AT gmail.com>]

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