Coq 8.5pl1 is out

Submitted by Maxime Dénès on 10 Apr 2016

Version 8.5pl1 of Coq is available. It fixes several bugs of version 8.5, including one critical bug. It also brings various performance improvements. More information can be found in the CHANGES file. Feedback and bug reports are extremely welcome.