Beta-release of Coq 8.4

Coq 8.4 is available for beta-testing. More on the Coq 8.4 web page...