Coq 8.8.1 is out
Submitted by Théo Zimmermann on 9 Jul 2018
The 8.8.1 release of Coq is available.
It includes four critical bug fixes, many other bug fixes, documentation improvements and user message improvements.
For details, see CHANGES and the 8.8.1 milestone. Feedback and bug reports are extremely welcome.