The Coq mailing list

["Harley D. Eades III" <harley.eades AT gmail.com>]

Hi, Tony.

On Mar 4, 2013, at 2:55 AM, Tony Sloane 
<inkytonik AT gmail.com>
 wrote:

> 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.
This is great!  Nice work.

How did you go about creating the docset?

Are there HTML to docset converters?

Harley

> 
> cheers,
> Tony
>