Coq 8.7.1 is out

Submitted by Théo Zimmermann on 15 Dec 2017

Version 8.7.1 of Coq is available. It brings compatibility with OCaml 4.06.0, many bug fixes, documentation improvements, and user message improvements (for details see the 8.7.1 milestone).