Théo Zimmermann
2018-07-09 21:31:53 UTC
Dear Coq users,
We are pleased to announce the 8.8.1 release of Coq.
It includes four critical bug fixes, many other bug fixes, documentation
improvements and user message improvements.
For details, see the CHANGES file (
https://github.com/coq/coq/blob/V8.8.1/CHANGES) and the 8.8.1 milestone (
https://github.com/coq/coq/milestone/13?closed=1). Feedback and bug reports
are extremely welcome.
Installers for Windows 32 bits, Windows 64 bits, and macOS are available at
https://github.com/coq/coq/releases/tag/V8.8.1. They come bundled with
CoqIDE. The Windows installers also include the option to install external
packages Bignums, Equations and Ltac2.
OPAM and Nix packages are also already available.
The Coq Development Team
We are pleased to announce the 8.8.1 release of Coq.
It includes four critical bug fixes, many other bug fixes, documentation
improvements and user message improvements.
For details, see the CHANGES file (
https://github.com/coq/coq/blob/V8.8.1/CHANGES) and the 8.8.1 milestone (
https://github.com/coq/coq/milestone/13?closed=1). Feedback and bug reports
are extremely welcome.
Installers for Windows 32 bits, Windows 64 bits, and macOS are available at
https://github.com/coq/coq/releases/tag/V8.8.1. They come bundled with
CoqIDE. The Windows installers also include the option to install external
packages Bignums, Equations and Ltac2.
OPAM and Nix packages are also already available.
The Coq Development Team