The Coq mailing list

[Adam Chlipala <adamc AT csail.mit.edu>]

On 10/13/2013 10:05 AM, Enrico Tassi wrote:
> But I've a more general remark. I do swich Coq versions too, but
> I don't think I qualify as a regular user.  IMO users should stick to
> the stable version, unless they want to develop Coq or a plugin.
>    

I often switch between Coq 8.4pl2 and a past 8.4 snapshot from SVN that 
has some coqdoc patches applied.  The Coq team didn't accept all of my 
patches, but some are needed to get "Certified Programming with 
Dependent Types" rendered as a non-ugly PDF.